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