Lines Matching refs:cr3
2495 vcpu->arch.cr3 = vmcs_readl(GUEST_CR3);
3356 * When !CR0_PG -> CR0_PG, vcpu->arch.cr3 becomes active, but
3404 guest_cr3 = vcpu->arch.cr3;
4300 unsigned long cr0, cr3, cr4;
4310 cr3 = __read_cr3();
4311 vmcs_writel(HOST_CR3, cr3); /* 22.2.3 FIXME: shadow tables */
4312 vmx->loaded_vmcs->host_state.cr3 = cr3;
7341 unsigned long cr3, cr4;
7391 cr3 = __get_current_cr3_fast();
7392 if (unlikely(cr3 != vmx->loaded_vmcs->host_state.cr3)) {
7393 vmcs_writel(HOST_CR3, cr3);
7394 vmx->loaded_vmcs->host_state.cr3 = cr3;