Question Regarding TDX Module's Use of advance_guest_rip

Description:

I have identified a redundant invocation of the advance_guest_rip() function across the files tdg_vp_vmcall.c, td_exit.c, and tdx_vmm_dispatcher.c. Specifically, when td_vmexit_to_vmm(...false, true) is called, both the conditions if (!is_td_dead) and if (is_trap_exit) are met, leading to a call to advance_guest_rip(). On this execution path, tdx_vmm_post_dispatching also unconditionally calls advance_guest_rip(), resulting in the function being executed twice in the same context.