APTE_BASE
#define APDP_BASE ((pd_entry_t *)(((char *)APTE_BASE) + (PDSLOT_APTE * NBPG)))
return(APTE_BASE);
#define APDP_BASE ((pd_entry_t *)(((char *)APTE_BASE) + (PDSLOT_APTE * NBPG)))
return(APTE_BASE);
va = (vaddr_t)APTE_BASE;