Searched defs:cpu_ctrls0 (Results 1 – 1 of 1) sorted by relevance
3756 u32 cpu_ctrls0 = vmcs_read(CPU_EXEC_CTRL0); in test_apic_virt_addr() local4620 u32 pin_ctrls, cpu_ctrls0, test_pin_ctrls, test_cpu_ctrls0; in test_nmi_ctrls() local