Searched refs:CR3_TARGET_COUNT (Results 1 – 7 of 7) sorted by relevance
74 FIELD(CR3_TARGET_COUNT, cr3_target_count),
279 EVMCS1_FIELD(CR3_TARGET_COUNT, cr3_target_count,
4767 vmcs_write32(CR3_TARGET_COUNT, 0); /* 22.2.1 */ in init_vmcs()
201 CR3_TARGET_COUNT = 0x0000400a, enumerator
600 case CR3_TARGET_COUNT: in evmcs_vmread()1105 case CR3_TARGET_COUNT: in evmcs_vmwrite()
273 CR3_TARGET_COUNT = 0x0000400a, enumerator
225 vmwrite(CR3_TARGET_COUNT, 0); in init_vmcs_control_fields()