SEG1OFSET3L
#define pmap_trunc_seg1_3L(va) (((vaddr_t)(va)) & ~SEG1OFSET3L)
#define pmap_round_seg1_3L(va) (pmap_trunc_seg1_3L((vaddr_t)(va)+ SEG1OFSET3L))
#define pmap_seg1_offset_3L(va) (((vaddr_t)(va)) & SEG1OFSET3L)