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