Searched refs:tlbi_page_dsbosh (Results 1 – 1 of 1) sorted by relevance
157 static void tlbi_page_dsbosh(uintptr_t base) in tlbi_page_dsbosh() function1793 tlbi_page_dsbosh(base); in gpt_delegate_pas()1919 tlbi_page_dsbosh(base); in gpt_undelegate_pas()1937 tlbi_page_dsbosh(base); in gpt_undelegate_pas()