Searched refs:vmcs02 (Results 1 – 2 of 2) sorted by relevance
724 (void)memset(vvmcs->vmcs02, 0U, PAGE_SIZE); in reset_vvmcs()1054 *((uint32_t*)vvmcs->vmcs02) |= VMCS_SHADOW_BIT_INDICATOR; in set_vmcs02_shadow_indicator()1064 *((uint32_t*)vvmcs->vmcs02) &= ~VMCS_SHADOW_BIT_INDICATOR; in clear_vmcs02_shadow_indicator()1122 clear_va_vmcs(vvmcs->vmcs02); in clear_vvmcs()1125 load_va_vmcs(vvmcs->vmcs02); in clear_vvmcs()1136 clear_va_vmcs(vvmcs->vmcs02); in clear_vvmcs()1184 load_va_vmcs(vvmcs->vmcs02); in vmptrld_vmexit_handler()1201 clear_va_vmcs(vvmcs->vmcs02); in vmptrld_vmexit_handler()1440 clear_va_vmcs(cur_vvmcs->vmcs02); in nested_vmexit_handler()1493 clear_va_vmcs(cur_vvmcs->vmcs02); in nested_vmentry()[all …]
333 uint8_t vmcs02[PAGE_SIZE]; /* VMCS to run L2 and as Link Pointer in VMCS01 */ member
Completed in 9 milliseconds