Searched refs:sev_es_shutdown_ghcb (Results 1 – 3 of 3) sorted by relevance
121 void sev_es_shutdown_ghcb(void);124 static inline void sev_es_shutdown_ghcb(void) { } in sev_es_shutdown_ghcb() function
142 void sev_es_shutdown_ghcb(void) in sev_es_shutdown_ghcb() function
450 sev_es_shutdown_ghcb(); in extract_kernel()
