Searched refs:cpu_set_default_tcr_t0sz (Results 1 – 4 of 4) sorted by relevance
102 cpu_set_default_tcr_t0sz(); in cpu_suspend()
154 cpu_set_default_tcr_t0sz(); in secondary_start_kernel()
105 static inline void cpu_set_default_tcr_t0sz(void) in cpu_set_default_tcr_t0sz() function
462 cpu_set_default_tcr_t0sz(); in paging_init()