verify_exception_info
enum es_result verify_exception_info(struct ghcb *ghcb, struct es_em_ctxt *ctxt);
switch (verify_exception_info(ghcb, &ctxt)) {
return verify_exception_info(ghcb, ctxt);