L1_TYPE_S
case L1_TYPE_S:
case L1_TYPE_S:
#define l1pte_section_p(pde) (((pde) & L1_TYPE_MASK) == L1_TYPE_S)
#define L1_S_PROTO_v7 (L1_TYPE_S)
(cur_pd[va>>L1_S_SHIFT] & L1_TYPE_MASK) == L1_TYPE_S;