servers/vm/arch/arm/memory.h

   1 #include <machine/vm.h>
   2
   3 /* And what is the highest addressable piece of memory, when in paged
   4  * mode?
   5  */
   6 #define VM_DATATOP      kernel_boot_info.user_end
   7 #define VM_STACKTOP     kernel_boot_info.user_sp
   8
   9 #define SLAB_PAGESIZE   ARM_PAGE_SIZE
  10 #define VM_PAGE_SIZE    ARM_PAGE_SIZE
  11
  12 #define CLICKSPERPAGE (ARM_PAGE_SIZE/CLICK_SIZE)