dfr_t 524 kernel/arch/amd64/src/smp/apic.c dfr_t dfr; dfr_t 524 kernel/arch/ia32/src/smp/apic.c dfr_t dfr;