Searched refs:HOST_CR3 (Results 1 – 2 of 2) sorted by relevance
230 HOST_CR3 = 0x00006c02, enumerator
557 FIELD(HOST_CR3, host_cr3),3633 vmcs_writel(HOST_CR3, read_cr3()); /* 22.2.3 FIXME: shadow tables */ in vmx_set_constant_host_state()