Searched refs:CR3_TARGET_COUNT (Results 1 – 5 of 5) sorted by relevance
248 CR3_TARGET_COUNT = 0x0000400a, enumerator
254 CR3_TARGET_COUNT = 0x0000400a, enumerator
143 vmwrite(CR3_TARGET_COUNT, 0); in init_vmcs_control_fields()
258 EVMCS1_FIELD(CR3_TARGET_COUNT, cr3_target_count,
1154 FIELD(CR3_TARGET_COUNT, cr3_target_count),6618 vmcs_write32(CR3_TARGET_COUNT, 0); /* 22.2.1 */ in vmx_vcpu_setup()10021 n = vmcs_read32(CR3_TARGET_COUNT); in dump_vmcs()