}
 
        tdcall_rcx = start | page_size;
-       if (__tdx_module_call(TDX_ACCEPT_PAGE, tdcall_rcx, 0, 0, 0, NULL))
+       if (__tdx_module_call(TDG_MEM_PAGE_ACCEPT, tdcall_rcx, 0, 0, 0, NULL))
                return 0;
 
        return accept_size;
 {
        /*
         * For shared->private conversion, accept the page using
-        * TDX_ACCEPT_PAGE TDX module call.
+        * TDG_MEM_PAGE_ACCEPT TDX module call.
         */
        while (start < end) {
                unsigned long len = end - start;
 
 {
        u64 ret;
 
-       ret = __tdx_module_call(TDX_GET_REPORT, virt_to_phys(tdreport),
+       ret = __tdx_module_call(TDG_MR_REPORT, virt_to_phys(tdreport),
                                virt_to_phys(reportdata), TDREPORT_SUBTYPE_0,
                                0, NULL);
        if (ret) {
         * Guest-Host-Communication Interface (GHCI), section 2.4.2 TDCALL
         * [TDG.VP.INFO].
         */
-       tdx_module_call(TDX_GET_INFO, 0, 0, 0, 0, &out);
+       tdx_module_call(TDG_VP_INFO, 0, 0, 0, 0, &out);
 
        /*
         * The highest bit of a guest physical address is the "sharing" bit.
         * Note, the TDX module treats virtual NMIs as inhibited if the #VE
         * valid flag is set. It means that NMI=>#VE will not result in a #DF.
         */
-       tdx_module_call(TDX_GET_VEINFO, 0, 0, 0, 0, &out);
+       tdx_module_call(TDG_VP_VEINFO_GET, 0, 0, 0, 0, &out);
 
        /* Transfer the output parameters */
        ve->exit_reason = out.rcx;
        cc_set_mask(cc_mask);
 
        /* Kernel does not use NOTIFY_ENABLES and does not need random #VEs */
-       tdx_module_call(TDX_WR, 0, TDCS_NOTIFY_ENABLES, 0, -1ULL, NULL);
+       tdx_module_call(TDG_VM_WR, 0, TDCS_NOTIFY_ENABLES, 0, -1ULL, NULL);
 
        /*
         * All bits above GPA width are reserved and kernel treats shared bit
 
 #define TDX_IDENT              "IntelTDX    "
 
 /* TDX module Call Leaf IDs */
-#define TDX_GET_INFO                   1
-#define TDX_GET_VEINFO                 3
-#define TDX_GET_REPORT                 4
-#define TDX_ACCEPT_PAGE                        6
-#define TDX_WR                         8
+#define TDG_VP_INFO                    1
+#define TDG_VP_VEINFO_GET              3
+#define TDG_MR_REPORT                  4
+#define TDG_MEM_PAGE_ACCEPT            6
+#define TDG_VM_WR                      8
 
 /* TDCS fields. To be used by TDG.VM.WR and TDG.VM.RD module calls */
 #define TDCS_NOTIFY_ENABLES            0x9100000000000010