vmx_machdata
vmx_htlb_flush(struct vmx_machdata *machdata, struct vmx_cpudata *cpudata)
struct vmx_machdata *machdata = mach->machdata;
struct vmx_machdata *machdata = mach->machdata;
struct vmx_machdata *machdata;
machdata = kmem_zalloc(sizeof(struct vmx_machdata), KM_SLEEP);
struct vmx_machdata *machdata = mach->machdata;
kmem_free(machdata, sizeof(struct vmx_machdata));