L1_TYPE_MASK
switch ((oldpde = *pde) & L1_TYPE_MASK) {
switch (oldpde & L1_TYPE_MASK) {
if ((pde & L1_TYPE_MASK) != L1_TYPE_C)
if ((pde[va >> L1_S_SHIFT] & L1_TYPE_MASK) != L1_TYPE_C)
if ((pde[va >> L1_S_SHIFT] & L1_TYPE_MASK) != L1_TYPE_C)
#define l1pte_valid(pde) (((pde) & L1_TYPE_MASK) != L1_TYPE_INV)
#define l1pte_section_p(pde) (((pde) & L1_TYPE_MASK) == L1_TYPE_S)
#define l1pte_page_p(pde) (((pde) & L1_TYPE_MASK) == L1_TYPE_C)
#define l1pte_fpage_p(pde) (((pde) & L1_TYPE_MASK) == L1_TYPE_F)
(cur_pd[va>>L1_S_SHIFT] & L1_TYPE_MASK) == L1_TYPE_S;