PAGE_S2_DEVICE   1351 virt/kvm/arm/mmu.c 		pte_t pte = kvm_pfn_pte(pfn, PAGE_S2_DEVICE);
PAGE_S2_DEVICE   1751 virt/kvm/arm/mmu.c 		mem_type = PAGE_S2_DEVICE;