Searched refs:kvm_mmu_get_httbr (Results 1 – 3 of 3) sorted by relevance
130 phys_addr_t kvm_mmu_get_httbr(void);
1367 pgd_ptr = kvm_mmu_get_httbr(); in cpu_init_hyp_mode()
1186 phys_addr_t kvm_mmu_get_httbr(void) in kvm_mmu_get_httbr() function
