Searched refs:CR3_TARGET_VALUE0 (Results 1 – 2 of 2) sorted by relevance
254 CR3_TARGET_VALUE0 = 0x00006008, enumerator
801 FIELD(CR3_TARGET_VALUE0, cr3_target_value0),8166 i, vmcs_readl(CR3_TARGET_VALUE0 + i * 2), in dump_vmcs()8167 i + 1, vmcs_readl(CR3_TARGET_VALUE0 + i * 2 + 2)); in dump_vmcs()8170 i, vmcs_readl(CR3_TARGET_VALUE0 + i * 2)); in dump_vmcs()