minix/kernel/usermapped_data.c

   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 */