system_private

Information the operating system needs to know when it boots.

The system_private data structure is filled in by the startup library's init_system_private() function. You should never need to do anything with this area of the system page. Nonetheless, below are descriptions of some structure members that may be of interest:

user_cpupageptr
User address (R/O) for cpupage pointer
user_syspageptr
User address (R/O) for syspage pointer
kern_cpupageptr
Kernel address (R/W) for cpupage pointer
kern_syspageptr
Kernel address (R/W) for syspage pointer
pagesize
Granularity of the OS memory allocator (usually 16 in physical mode, or 4096 in virtual mode).