LXR linux/arch/x86/include/asm/shared/tdx.h

   1/* SPDX-License-Identifier: GPL-2.0 */
   2#ifndef _ASM_X86_SHARED_TDX_H
   3#define _ASM_X86_SHARED_TDX_H
   4
   5#include <linux/bits.h>
   6#include <linux/types.h>
   7
   8#define TDX_HYPERCALL_STANDARD  0
   9
  10#define TDX_HCALL_HAS_OUTPUT    BIT(0)
  11#define TDX_HCALL_ISSUE_STI     BIT(1)
  12
  13#define TDX_CPUID_LEAF_ID       0x21
  14#define TDX_IDENT               "IntelTDX    "
  15
  16#ifndef __ASSEMBLY__
  17
  18/*
  19 * Used in __tdx_hypercall() to pass down and get back registers' values of
  20 * the TDCALL instruction when requesting services from the VMM.
  21 *
  22 * This is a software only structure and not part of the TDX module/VMM ABI.
  23 */
  24struct tdx_hypercall_args {
  25        u64 r10;
  26        u64 r11;
  27        u64 r12;
  28        u64 r13;
  29        u64 r14;
  30        u64 r15;
  31};
  32
  33/* Used to request services from the VMM */
  34u64 __tdx_hypercall(struct tdx_hypercall_args *args, unsigned long flags);
  35
  36/* Called from __tdx_hypercall() for unrecoverable failure */
  37void __tdx_hypercall_failed(void);
  38
  39#endif /* !__ASSEMBLY__ */
  40#endif /* _ASM_X86_SHARED_TDX_H */
  41