Searched refs:post_ttbr_update_workaround (Results 1 – 5 of 5) sorted by relevance
151 post_ttbr_update_workaround(); in efi_set_pgd()
249 void post_ttbr_update_workaround(void);
241 asmlinkage void post_ttbr_update_workaround(void) in post_ttbr_update_workaround() function
163 b post_ttbr_update_workaround // Back to C code...
303 bl post_ttbr_update_workaround
