Searched refs:tlbi_page_dsbosh (Results 1 – 1 of 1) sorted by relevance
206 static void tlbi_page_dsbosh(uintptr_t base) in tlbi_page_dsbosh() function1774 tlbi_page_dsbosh(base); in gpt_write_entry()1808 tlbi_page_dsbosh(base); in gpt_undelegate()