Searched refs:hv_ghcb_terminate (Results 1 – 2 of 2) sorted by relevance
30 NORETURN(hv_ghcb_terminate)
140 void __noreturn hv_ghcb_terminate(unsigned int set, unsigned int reason) in hv_ghcb_terminate() function