tpr_t 453 kernel/arch/amd64/src/smp/apic.c tpr_t tpr; tpr_t 453 kernel/arch/ia32/src/smp/apic.c tpr_t tpr;