Searched refs:CR3_TARGET_COUNT (Results 1 – 2 of 2) sorted by relevance
202 CR3_TARGET_COUNT = 0x0000400a, enumerator
685 FIELD(CR3_TARGET_COUNT, cr3_target_count),4667 vmcs_write32(CR3_TARGET_COUNT, 0); /* 22.2.1 */ in vmx_vcpu_setup()