PDSLOT_APTE
#define APTE_BASE ((pt_entry_t *) (PDSLOT_APTE * NBPD))
#define APDP_BASE ((pd_entry_t *)(((char *)APTE_BASE) + (PDSLOT_APTE * NBPG)))
#define APDP_PDE (PDP_BASE + PDSLOT_APTE)
#define APTE_BASE ((pt_entry_t *) (PDSLOT_APTE * NBPD))
#define APDP_BASE ((pd_entry_t *)(((char *)APTE_BASE) + (PDSLOT_APTE * NBPG)))
#define APDP_PDE (PDP_BASE + PDSLOT_APTE)
#define VM_MAX_KERNEL_ADDRESS ((vaddr_t)(PDSLOT_APTE<<PDSHIFT))