Searched refs:cpu_set_idmap_tcr_t0sz (Results 1 – 2 of 2) sorted by relevance
97 static inline void cpu_set_idmap_tcr_t0sz(void) in cpu_set_idmap_tcr_t0sz() function
472 cpu_set_idmap_tcr_t0sz(); in setup_mm_for_reboot()