invlpg
u64 invlpg;
invlpg(p_addr);
invlpg(p_addr_end);
ctxt->ops->invlpg(ctxt, linear);
II(SrcMem | ByteOp | Priv | NoAccess, em_invlpg, invlpg),
void (*invlpg)(struct x86_emulate_ctxt *ctxt, ulong addr);
++vcpu->stat.invlpg;
++vcpu->stat.invlpg;
STATS_DESC_COUNTER(VCPU, invlpg),
.invlpg = emulator_invlpg,
invlpg(addr);