L1_ADDR_BITS
(va & L1_ADDR_BITS) >> L1_SHIFT,
#define l1pde_index(v) (((vaddr_t)(v) & L1_ADDR_BITS) >> L1_SHIFT)
l1Index = ((TUint)pa & L1_ADDR_BITS) >> L1_S_SHIFT;
l1Index = (pa & L1_ADDR_BITS) >> L1_S_SHIFT;
l1Index = (va & L1_ADDR_BITS) >> L1_S_SHIFT;