Searched refs:vmx_specs_t (Results 1 – 2 of 2) sorted by relevance
56 } vmx_specs_t; typedef59 vmx_specs_t specs; /* this phys CPU's VMX specifications */
75 vmx_is_cr0_valid(vmx_specs_t *specs) in vmx_is_cr0_valid()86 vmx_is_cr4_valid(vmx_specs_t *specs) in vmx_is_cr4_valid()128 vmx_specs_t *specs = ¤t_cpu_datap()->cpu_vmx.specs; in vmx_cpu_init()