In SPRS552H Table 7-13, interrupt sources 100 and 101 are listed as EFINTA and EFIINTB, respectively, with the descriptions "EFI Interrupt from Side A" and "EFI Interrupt from Side B". I don't see any other mention of those interrupts in the document, or any mention of EFI in SPRU732J or SPRU871K, although they do show up in the corresponding places in the C6670 and C6678 data manuals. What do those interrupts signify?