vmx_machdata - DragonflyBSD

2213

machgen = ((struct vmx_machdata *)mach->machdata)->mach_htlb_gen;

3222

struct vmx_machdata *machdata = mach->machdata;

3239

struct vmx_machdata *machdata;

3250

machdata = os_mem_zalloc(sizeof(struct vmx_machdata));

3260

os_mem_free(mach->machdata, sizeof(struct vmx_machdata));