Searched refs:sev_es_shutdown_ghcb (Results 1 – 3 of 3) sorted by relevance
141 void sev_es_shutdown_ghcb(void);159 static inline void sev_es_shutdown_ghcb(void) { } in sev_es_shutdown_ghcb() function
86 sev_es_shutdown_ghcb(); in cleanup_exception_handling()
278 void sev_es_shutdown_ghcb(void) in sev_es_shutdown_ghcb() function