Symbol: print_INTEL_TLB
sys/platform/pc64/x86_64/identcpu.c
1199
print_INTEL_TLB(regs[regnum] & 0xff);
sys/platform/pc64/x86_64/identcpu.c
1200
print_INTEL_TLB((regs[regnum] >> 8) & 0xff);
sys/platform/pc64/x86_64/identcpu.c
1201
print_INTEL_TLB((regs[regnum] >> 16) & 0xff);
sys/platform/pc64/x86_64/identcpu.c
1202
print_INTEL_TLB((regs[regnum] >> 24) & 0xff);