MAXADDR
{ .pmbm_vaddr = MAXADDR,
.pmbm_paddr = MAXADDR,
memset((void *)MAXADDR, 0, PAGE_SIZE);
phys_seg_list[0].ps_end = MAXADDR;
if (pa >= MAXADDR) {
pte = &pte[MAXADDR >> SEGSHIFT];
ste = &ste[MAXADDR >> SEGSHIFT];
pte = &pte[MAXADDR >> SEGSHIFT];
*pte = MAXADDR | PG_RW | PG_CI | PG_V;
#define NULL_SEGTAB_PA MAXADDR