Searched refs:CPU_REG_CR4 (Results 1 – 6 of 6) sorted by relevance
423 bitmap_clear_nolock(CPU_REG_CR4, &vcpu->reg_cached); in vmx_write_cr4()552 if (bitmap_test_and_set_nolock(CPU_REG_CR4, &vcpu->reg_cached) == 0) { in vcpu_get_cr4()
173 bitmap_set_nolock(CPU_REG_CR4, &vcpu->reg_updated); in load_world_ctx()
685 if (bitmap_test_and_clear_nolock(CPU_REG_CR4, &vcpu->reg_updated)) { in write_cached_registers()
1342 bitmap_clear_nolock(CPU_REG_CR4, &vcpu->reg_cached); in set_vmcs01_guest_state()
371 case CPU_REG_CR4: in get_vmcs_field()
242 CPU_REG_CR4, enumerator
Completed in 15 milliseconds