Searched refs:ctrl_pin (Results 1 – 1 of 1) sorted by relevance
46 u32 ctrl_pin, ctrl_enter, ctrl_exit, ctrl_cpu[2]; variable1101 vmcs_write(PIN_CONTROLS, ctrl_pin); in init_vmcs_ctrl()1251 ctrl_pin |= PIN_EXTINT | PIN_NMI | PIN_VIRT_NMI; in init_vmcs()1258 ctrl_pin = (ctrl_pin | ctrl_pin_rev.set) & ctrl_pin_rev.clr; in init_vmcs()