DELIVS_IDLE 294 kernel/arch/amd64/src/smp/apic.c } while (icr.delivs != DELIVS_IDLE); DELIVS_IDLE 294 kernel/arch/ia32/src/smp/apic.c } while (icr.delivs != DELIVS_IDLE);