vcpu_tdx
sizeof(struct vcpu_tdx));
__alignof__(struct vcpu_tdx));
static_assert(offsetof(struct vcpu_vmx, vt) == offsetof(struct vcpu_tdx, vt));
struct vcpu_tdx *tdx = to_tdx(vcpu);
static void __tdx_map_gpa(struct vcpu_tdx *tdx);
struct vcpu_tdx *tdx = to_tdx(vcpu);
static void __tdx_map_gpa(struct vcpu_tdx *tdx)
struct vcpu_tdx *tdx = to_tdx(vcpu);
struct vcpu_tdx *tdx = to_tdx(vcpu);
struct vcpu_tdx *tdx = to_tdx(vcpu);
struct vcpu_tdx *tdx = to_tdx(vcpu);
struct vcpu_tdx *tdx = to_tdx(vcpu);
struct vcpu_tdx *tdx = to_tdx(vcpu);
struct vcpu_tdx *tdx = to_tdx(vcpu);
struct vcpu_tdx *tdx = to_tdx(vcpu);
struct vcpu_tdx *tdx = to_tdx(vcpu);
struct vcpu_tdx *tdx = to_tdx(vcpu);
struct vcpu_tdx *tdx = to_tdx(vcpu);
struct vcpu_tdx *tdx = to_tdx(vcpu);
struct vcpu_tdx *tdx = to_tdx(vcpu);
struct vcpu_tdx *tdx = to_tdx(vcpu);
struct vcpu_tdx *tdx = to_tdx(vcpu);
struct vcpu_tdx *tdx, *tmp;
void tdh_vp_rd_failed(struct vcpu_tdx *tdx, char *uclass, u32 field, u64 err)
struct vcpu_tdx *tdx = to_tdx(vcpu);
void tdh_vp_wr_failed(struct vcpu_tdx *tdx, char *uclass, char *op, u32 field,
struct vcpu_tdx *tdx = to_tdx(vcpu);
static __always_inline struct vcpu_tdx *to_tdx(struct kvm_vcpu *vcpu)
return container_of(vcpu, struct vcpu_tdx, vcpu);
struct vcpu_tdx *tdx = to_tdx(vcpu);
struct vcpu_tdx *tdx = to_tdx(vcpu);
struct vcpu_tdx *tdx = to_tdx(vcpu);
static __always_inline u##bits td_##lclass##_read##bits(struct vcpu_tdx *tdx, \
static __always_inline void td_##lclass##_write##bits(struct vcpu_tdx *tdx, \
static __always_inline void td_##lclass##_setbit##bits(struct vcpu_tdx *tdx, \
static __always_inline void td_##lclass##_clearbit##bits(struct vcpu_tdx *tdx, \
void tdh_vp_rd_failed(struct vcpu_tdx *tdx, char *uclass, u32 field, u64 err);
void tdh_vp_wr_failed(struct vcpu_tdx *tdx, char *uclass, char *op, u32 field,