Searched defs:saved_pin (Results 1 – 1 of 1) sorted by relevance
3914 u32 saved_pin = vmcs_read(PIN_CONTROLS); in test_virtual_intr_ctls() local3978 u32 saved_pin = vmcs_read(PIN_CONTROLS); in test_posted_intr() local4935 u32 saved_pin = vmcs_read(PIN_CONTROLS); in test_vmx_preemption_timer() local