process_pending_ici
static int32 process_pending_ici(int32 currentCPU);
while (process_pending_ici(currentCPU) != B_ENTRY_NOT_FOUND)