25 lines
932 B
C
25 lines
932 B
C
#include <sys/vm_i386.h>
|
|
|
|
/* As visible from the user space process, where is the top of the
|
|
* stack (first non-stack byte), when in paged mode?
|
|
*/
|
|
#define VM_STACKTOP 0x80000000
|
|
|
|
/* And what is the highest addressable piece of memory, when in paged
|
|
* mode? Some data for kernel and stack are subtracted from this, the
|
|
* final results stored in bytes in arch.vm_data_top.
|
|
*/
|
|
#define VM_DATATOP 0xFFFFF000
|
|
|
|
#define SLAB_PAGESIZE I386_PAGE_SIZE
|
|
#define VM_PAGE_SIZE I386_PAGE_SIZE
|
|
|
|
#define CLICKSPERPAGE (I386_PAGE_SIZE/CLICK_SIZE)
|
|
|
|
/* Where is the kernel? */
|
|
#define KERNEL_TEXT CLICK2ABS(vmproc[VMP_SYSTEM].vm_arch.vm_seg[T].mem_phys)
|
|
#define KERNEL_TEXT_LEN CLICK2ABS(vmproc[VMP_SYSTEM].vm_arch.vm_seg[T].mem_len)
|
|
#define KERNEL_DATA CLICK2ABS(vmproc[VMP_SYSTEM].vm_arch.vm_seg[D].mem_phys)
|
|
#define KERNEL_DATA_LEN CLICK2ABS(vmproc[VMP_SYSTEM].vm_arch.vm_seg[D].mem_len \
|
|
+ vmproc[VMP_SYSTEM].vm_arch.vm_seg[S].mem_len)
|
|
|