L1_S_ADDR_MASK
pte_pa = (pde & L1_S_ADDR_MASK)
pa = l1 & L1_S_ADDR_MASK;
l1 = ((TUint)pa & L1_S_ADDR_MASK) |