Searched refs:reg_cached (Results 1 – 4 of 4) sorted by relevance
321 bitmap_clear_nolock(CPU_REG_CR0, &vcpu->reg_cached); in vmx_write_cr0()423 bitmap_clear_nolock(CPU_REG_CR4, &vcpu->reg_cached); in vmx_write_cr4()524 if (bitmap_test_and_set_nolock(CPU_REG_CR0, &vcpu->reg_cached) == 0) { in vcpu_get_cr0()552 if (bitmap_test_and_set_nolock(CPU_REG_CR4, &vcpu->reg_cached) == 0) { in vcpu_get_cr4()
62 !bitmap_test_and_set_nolock(CPU_REG_RIP, &vcpu->reg_cached)) { in vcpu_get_rip()122 !bitmap_test_and_set_nolock(CPU_REG_RFLAGS, &vcpu->reg_cached) && vcpu->launched) { in vcpu_get_rflags()781 vcpu->reg_cached = 0UL; in run_vcpu()
1341 bitmap_clear_nolock(CPU_REG_CR0, &vcpu->reg_cached); in set_vmcs01_guest_state()1342 bitmap_clear_nolock(CPU_REG_CR4, &vcpu->reg_cached); in set_vmcs01_guest_state()
322 uint64_t reg_cached; member
Completed in 12 milliseconds