Searched refs:boot_pgd_ptr (Results 1 – 3 of 3) sorted by relevance
191 static inline void __cpu_init_hyp_mode(phys_addr_t boot_pgd_ptr, in __cpu_init_hyp_mode() argument212 kvm_call_hyp(NULL, 0, boot_pgd_ptr); in __cpu_init_hyp_mode()
237 static inline void __cpu_init_hyp_mode(phys_addr_t boot_pgd_ptr, in __cpu_init_hyp_mode() argument246 kvm_call_hyp((void *)boot_pgd_ptr, pgd_ptr, in __cpu_init_hyp_mode()
959 phys_addr_t boot_pgd_ptr; in cpu_init_hyp_mode() local968 boot_pgd_ptr = kvm_mmu_get_boot_httbr(); in cpu_init_hyp_mode()974 __cpu_init_hyp_mode(boot_pgd_ptr, pgd_ptr, hyp_stack_ptr, vector_ptr); in cpu_init_hyp_mode()