Searched refs:raise_sgi0_as_secure (Results 1 – 1 of 1) sorted by relevance
126 static void raise_sgi0_as_secure(void) in raise_sgi0_as_secure() function138 raise_sgi0_as_secure(); in release_secondary_early_hpen()