Searched refs:boot_pgd_ptr (Results 1 – 3 of 3) sorted by relevance
190 static inline void __cpu_init_hyp_mode(phys_addr_t boot_pgd_ptr, in __cpu_init_hyp_mode() argument211 kvm_call_hyp(NULL, 0, boot_pgd_ptr); in __cpu_init_hyp_mode()
206 static inline void __cpu_init_hyp_mode(phys_addr_t boot_pgd_ptr, in __cpu_init_hyp_mode() argument215 kvm_call_hyp((void *)boot_pgd_ptr, pgd_ptr, in __cpu_init_hyp_mode()
896 phys_addr_t boot_pgd_ptr; in cpu_init_hyp_mode() local905 boot_pgd_ptr = kvm_mmu_get_boot_httbr(); in cpu_init_hyp_mode()911 __cpu_init_hyp_mode(boot_pgd_ptr, pgd_ptr, hyp_stack_ptr, vector_ptr); in cpu_init_hyp_mode()