tdcr_t 484 kernel/arch/amd64/src/smp/apic.c tdcr_t tdcr; tdcr_t 484 kernel/arch/ia32/src/smp/apic.c tdcr_t tdcr;