Searched refs:kvm_mmu_get_httbr (Results 1 – 4 of 4) sorted by relevance
73 phys_addr_t kvm_mmu_get_httbr(void);
167 phys_addr_t kvm_mmu_get_httbr(void);
1291 pgd_ptr = kvm_mmu_get_httbr(); in cpu_init_hyp_mode()
1929 phys_addr_t kvm_mmu_get_httbr(void) in kvm_mmu_get_httbr() function
