servers/vm/i386/memory.h

   1 #include <sys/vm_i386.h>
   2
   3 /* As visible from the user space process, where is the top of the
   4  * stack (first non-stack byte), when in paged mode?
   5  */
   6 #define VM_STACKTOP     0x80000000
   7
   8 /* And what is the highest addressable piece of memory, when in paged
   9  * mode? Some data for kernel and stack are subtracted from this, the
  10  * final results stored in bytes in arch.vm_data_top.
  11  */
  12 #define VM_DATATOP      0xFFFFF000
  13
  14 #define SLAB_PAGESIZE   I386_PAGE_SIZE
  15 #define VM_PAGE_SIZE    I386_PAGE_SIZE
  16
  17 /* Where do processes start in linear (i.e. page table) memory? */
  18 #define VM_PROCSTART    (I386_BIG_PAGE_SIZE*100)
  19
  20 #define CLICKSPERPAGE (I386_PAGE_SIZE/CLICK_SIZE)
  21
  22 /* Where is the kernel? */
  23 #define KERNEL_TEXT     CLICK2ABS(vmproc[VMP_SYSTEM].vm_arch.vm_seg[T].mem_phys)
  24 #define KERNEL_TEXT_LEN CLICK2ABS(vmproc[VMP_SYSTEM].vm_arch.vm_seg[T].mem_len)
  25 #define KERNEL_DATA     CLICK2ABS(vmproc[VMP_SYSTEM].vm_arch.vm_seg[D].mem_phys)
  26 #define KERNEL_DATA_LEN CLICK2ABS(vmproc[VMP_SYSTEM].vm_arch.vm_seg[D].mem_len \
  27         + vmproc[VMP_SYSTEM].vm_arch.vm_seg[S].mem_len)
  28