machdep.nkpt

Home

Up: machdep

Property Value
OID 7.7ffff7ce
Description Number of kernel page table pages allocated on bootup
Label
Type integer
Format I
Flags
  • RD, Can read the value
  • MPSAFE, Multiprocessor safe