SRMMU_ET_PTD
set_pte((pte_t *)pudp, __pte((SRMMU_ET_PTD | (pa >> 4))));
return (pmd_val(pmd) & SRMMU_ET_MASK) != SRMMU_ET_PTD;
return ((pmd_val(pmd) & SRMMU_ET_MASK) == SRMMU_ET_PTD);
return (pud_val(pud) & SRMMU_ET_MASK) != SRMMU_ET_PTD;
return ((pud_val(pud) & SRMMU_ET_MASK) == SRMMU_ET_PTD);
if (((ped & SRMMU_ET_MASK) != SRMMU_ET_PTD)) {
if (((pgd & SRMMU_ET_MASK) != SRMMU_ET_PTD)) {
if (((pmd & SRMMU_ET_MASK) != SRMMU_ET_PTD)) {
pte = __pte((SRMMU_ET_PTD | (__nocache_pa(pgdp) >> 4)));
set_pte((pte_t *)&pmd_val(*pmdp), __pte(SRMMU_ET_PTD | ptp));