Searched refs:kvm_mmu_get_httbr (Results 1 – 4 of 4) sorted by relevance
64 phys_addr_t kvm_mmu_get_httbr(void);
165 phys_addr_t kvm_mmu_get_httbr(void);
1328 pgd_ptr = kvm_mmu_get_httbr(); in cpu_init_hyp_mode()
2145 phys_addr_t kvm_mmu_get_httbr(void) in kvm_mmu_get_httbr() function
