Searched refs:post_ttbr_update_workaround (Results 1 – 4 of 4) sorted by relevance
339 asmlinkage void post_ttbr_update_workaround(void) in post_ttbr_update_workaround() function371 post_ttbr_update_workaround(); in cpu_do_switch_mm()
136 post_ttbr_update_workaround(); in efi_set_pgd()
290 void post_ttbr_update_workaround(void);
501 b post_ttbr_update_workaround
