#include <machine/vm.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

/* Where do processes start in linear (i.e. page table) memory? */
#define VM_PROCSTART	(I386_BIG_PAGE_SIZE*100)

#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)