L3_SHIFT
#define NBPD_L3 (1UL << L3_SHIFT) /* # bytes mapped by L3 ent (1G) */
#define pl3_i(va) (((va) & L3_FRAME) >> L3_SHIFT)