rdtscp
bool rdtscp = (exit_code == SVM_EXIT_RDTSCP);
(!rdtscp || ghcb_rcx_is_valid(ghcb))))
if (rdtscp)
DIP(SrcNone, rdtscp, check_rdtsc),