Searched refs:CR3_TARGET_VALUE0 (Results 1 – 2 of 2) sorted by relevance
254 CR3_TARGET_VALUE0 = 0x00006008, enumerator
786 FIELD(CR3_TARGET_VALUE0, cr3_target_value0),8057 i, vmcs_readl(CR3_TARGET_VALUE0 + i * 2), in dump_vmcs()8058 i + 1, vmcs_readl(CR3_TARGET_VALUE0 + i * 2 + 2)); in dump_vmcs()8061 i, vmcs_readl(CR3_TARGET_VALUE0 + i * 2)); in dump_vmcs()