TDX_INTERRUPTED_RESUMABLE
case TDX_INTERRUPTED_RESUMABLE:
} while (ret == TDX_INTERRUPTED_RESUMABLE || ret == TDX_SYS_BUSY);