sev_es_check_ghcb_fault
ghcb_fault = sev_es_check_ghcb_fault(address);
extern bool sev_es_check_ghcb_fault(unsigned long address);