Searched refs:pgd_ptr (Results 1 – 3 of 3) sorted by relevance
293 static inline void __cpu_init_hyp_mode(phys_addr_t pgd_ptr, in __cpu_init_hyp_mode() argument310 __kvm_call_hyp((void*)hyp_stack_ptr, vector_ptr, pgd_ptr); in __cpu_init_hyp_mode()
495 static inline void __cpu_init_hyp_mode(phys_addr_t pgd_ptr, in __cpu_init_hyp_mode() argument514 __kvm_call_hyp((void *)pgd_ptr, hyp_stack_ptr, vector_ptr, tpidr_el2); in __cpu_init_hyp_mode()
1320 phys_addr_t pgd_ptr; in cpu_init_hyp_mode() local1328 pgd_ptr = kvm_mmu_get_httbr(); in cpu_init_hyp_mode()1333 __cpu_init_hyp_mode(pgd_ptr, hyp_stack_ptr, vector_ptr); in cpu_init_hyp_mode()
