tdh_vp_rd_failed
tdh_vp_rd_failed(tdx, #uclass, field, err); \
void tdh_vp_rd_failed(struct vcpu_tdx *tdx, char *uclass, u32 field, u64 err);