Searched refs:kvm_mmu_get_httbr (Results 1 – 4 of 4) sorted by relevance
66 phys_addr_t kvm_mmu_get_httbr(void);
98 phys_addr_t kvm_mmu_get_httbr(void);
906 pgd_ptr = kvm_mmu_get_httbr(); in cpu_init_hyp_mode()
1629 phys_addr_t kvm_mmu_get_httbr(void) in kvm_mmu_get_httbr() function