dfr_t 294 kernel/arch/amd64/include/arch/smp/apic.h } dfr_t; dfr_t 294 kernel/arch/ia32/include/arch/smp/apic.h } dfr_t;