Quelle  tdx_errno.h   Sprache: C

/* SPDX-License-Identifier: GPL-2.0 */
/* architectural status code for SEAMCALL */

#ifndef __KVM_X86_TDX_ERRNO_H
#define __KVM_X86_TDX_ERRNO_H

#define TDX_SEAMCALL_STATUS_MASK  0xFFFFFFFF00000000ULL

/*
 * TDX SEAMCALL Status Codes (returned in RAX)
 */
#define TDX_NON_RECOVERABLE_VCPU  0x4000000100000000ULL
#define TDX_NON_RECOVERABLE_TD   0x4000000200000000ULL
#define TDX_NON_RECOVERABLE_TD_NON_ACCESSIBLE 0x6000000500000000ULL
#define TDX_NON_RECOVERABLE_TD_WRONG_APIC_MODE 0x6000000700000000ULL
#define TDX_INTERRUPTED_RESUMABLE  0x8000000300000000ULL
#define TDX_OPERAND_INVALID   0xC000010000000000ULL
#define TDX_OPERAND_BUSY   0x8000020000000000ULL
#define TDX_PREVIOUS_TLB_EPOCH_BUSY  0x8000020100000000ULL
#define TDX_PAGE_METADATA_INCORRECT  0xC000030000000000ULL
#define TDX_VCPU_NOT_ASSOCIATED   0x8000070200000000ULL
#define TDX_KEY_GENERATION_FAILED  0x8000080000000000ULL
#define TDX_KEY_STATE_INCORRECT   0xC000081100000000ULL
#define TDX_KEY_CONFIGURED   0x0000081500000000ULL
#define TDX_NO_HKID_READY_TO_WBCACHE  0x0000082100000000ULL
#define TDX_FLUSHVP_NOT_DONE   0x8000082400000000ULL
#define TDX_EPT_WALK_FAILED   0xC0000B0000000000ULL
#define TDX_EPT_ENTRY_STATE_INCORRECT  0xC0000B0D00000000ULL
#define TDX_METADATA_FIELD_NOT_READABLE  0xC0000C0200000000ULL

/*
 * TDX module operand ID, appears in 31:0 part of error code as
 * detail information
 */
#define TDX_OPERAND_ID_RCX   0x01
#define TDX_OPERAND_ID_TDR   0x80
#define TDX_OPERAND_ID_SEPT   0x92
#define TDX_OPERAND_ID_TD_EPOCH   0xa9

#endif /* __KVM_X86_TDX_ERRNO_H */