Searched refs:tdh_vp_rd_failed (Results 1 – 2 of 2) sorted by relevance
79 void tdh_vp_rd_failed(struct vcpu_tdx *tdx, char *uclass, u32 field, u64 err);141 tdh_vp_rd_failed(tdx, #uclass, field, err); \
65 void tdh_vp_rd_failed(struct vcpu_tdx *tdx, char *uclass, u32 field, u64 err) in tdh_vp_rd_failed() function