Searched refs:kvm_mmu_get_boot_httbr (Results 1 – 4 of 4) sorted by relevance
67 phys_addr_t kvm_mmu_get_boot_httbr(void);
99 phys_addr_t kvm_mmu_get_boot_httbr(void);
968 boot_pgd_ptr = kvm_mmu_get_boot_httbr(); in cpu_init_hyp_mode()
1638 phys_addr_t kvm_mmu_get_boot_httbr(void) in kvm_mmu_get_boot_httbr() function