taglinefilesource code
load_TR456arch/i386/kernel/smp.cload_TR(cpuid);
load_TR399arch/i386/kernel/traps.cload_TR(0);