1 #include "kernel/kernel.h" 2 3 /* This is the user-visible struct that has pointers to other bits of data. */ 4 struct minix_kerninfo minix_kerninfo __section(".usermapped"); 5 6 /* Kernel information structures. */ 7 struct kinfo kinfo __section(".usermapped"); /* kernel information for services */ 8 struct machine machine __section(".usermapped"); /* machine information for services */ 9 struct kmessages kmessages __section(".usermapped"); /* diagnostic messages in kernel */ 10 struct loadinfo loadinfo __section(".usermapped"); /* status of load average */ 11 struct kuserinfo kuserinfo __section(".usermapped"); 12 /* kernel information for users */ 13 struct arm_frclock arm_frclock __section(".usermapped"); 14 /* ARM free running timer information */ 15 struct kclockinfo kclockinfo __section(".usermapped"); /* clock information */ 16