Searched refs:cpu_install_ttbr0 (Results 1 – 3 of 3) sorted by relevance
133 static inline void cpu_install_ttbr0(phys_addr_t ttbr0, unsigned long t0sz) in cpu_install_ttbr0() function
202 cpu_install_ttbr0(kimage->arch.ttbr0, kimage->arch.t0sz); in machine_kexec()
210 cpu_install_ttbr0(trans_ttbr0, t0sz); in create_safe_exec_page()