invlpga
DIP(SrcNone | Prot | Priv, invlpga, check_svme),
invlpga(gva, svm->vmcb->control.asid);
svm_asm2(invlpga, "c"(asid), "a"(addr));