1433d6423SLionel Sambuc #include "kernel/kernel.h" 2433d6423SLionel Sambuc 3433d6423SLionel Sambuc /* This is the user-visible struct that has pointers to other bits of data. */ 45f5dcc54SLionel Sambuc struct minix_kerninfo minix_kerninfo __section(".usermapped"); 5433d6423SLionel Sambuc 6433d6423SLionel Sambuc /* Kernel information structures. */ 7*20054ae9SDavid van Moolenbroek struct kinfo kinfo __section(".usermapped"); /* kernel information for services */ 8*20054ae9SDavid van Moolenbroek struct machine machine __section(".usermapped"); /* machine information for services */ 95f5dcc54SLionel Sambuc struct kmessages kmessages __section(".usermapped"); /* diagnostic messages in kernel */ 105f5dcc54SLionel Sambuc struct loadinfo loadinfo __section(".usermapped"); /* status of load average */ 11*20054ae9SDavid van Moolenbroek struct kuserinfo kuserinfo __section(".usermapped"); 12*20054ae9SDavid van Moolenbroek /* kernel information for users */ 1326f5c8f8SDavid van Moolenbroek struct arm_frclock arm_frclock __section(".usermapped"); 1426f5c8f8SDavid van Moolenbroek /* ARM free running timer information */ 15d91f738bSDavid van Moolenbroek struct kclockinfo kclockinfo __section(".usermapped"); /* clock information */ 16