I'll do a patch against the CoCo queue for the TDVMCALL_STATUS prefix FYI.+#define TDVMCALL_STATUS_SUCCESS 0x0000000000000000ULLMakes sense as they are the hardware status codes.
-#define TDVMCALL_STATUS_RETRY 1
+#define TDVMCALL_STATUS_RETRY 0x0000000000000001ULL
+#define TDVMCALL_STATUS_INVALID_OPERAND 0x8000000000000000ULL