srmmu_get_pte
return ((srmmu_get_pte (addr) & 0xffffff00) << 4);
return (srmmu_get_pte (addr) >> 28);