tdx_vp
u64 tdh_vp_enter(struct tdx_vp *vp, struct tdx_module_args *args);
u64 tdh_vp_addcx(struct tdx_vp *vp, struct page *tdcx_page);
u64 tdh_vp_create(struct tdx_td *td, struct tdx_vp *vp);
u64 tdh_vp_flush(struct tdx_vp *vp);
u64 tdh_vp_init(struct tdx_vp *vp, u64 initial_rcx, u32 x2apicid);
u64 tdh_vp_rd(struct tdx_vp *vp, u64 field, u64 *data);
u64 tdh_vp_wr(struct tdx_vp *vp, u64 field, u64 data, u64 mask);
struct tdx_vp vp;
noinstr u64 tdh_vp_enter(struct tdx_vp *td, struct tdx_module_args *args)
u64 tdh_vp_addcx(struct tdx_vp *vp, struct page *tdcx_page)
u64 tdh_vp_create(struct tdx_td *td, struct tdx_vp *vp)
u64 tdh_vp_flush(struct tdx_vp *vp)
u64 tdh_vp_rd(struct tdx_vp *vp, u64 field, u64 *data)
u64 tdh_vp_wr(struct tdx_vp *vp, u64 field, u64 data, u64 mask)
u64 tdh_vp_init(struct tdx_vp *vp, u64 initial_rcx, u32 x2apicid)