srmmu_device_memory
if (srmmu_device_memory(pmd_val(pmd)))
if (srmmu_device_memory(pud_val(pud))) {
if (srmmu_device_memory(pte_val(pte))) {