Lines Matching defs:vmcs
628 struct vmcs {
637 CTASSERT(sizeof(struct vmcs) == PAGE_SIZE);
789 /* VMCS */
790 struct vmcs *vmcs;
956 /* This VMCS is loaded for the first time. */
960 /* This VMCS is active on a remote CPU. */
964 /* This VMCS is active on curcpu, nothing to do. */
2902 struct vmcs *vmcs = cpudata->vmcs;
2909 memset(vmcs, 0, VMCS_SIZE);
2910 vmcs->ident = __SHIFTIN(rev, VMCS_IDENT_REVISION);
2911 vmcs->abort = 0;
3034 /* VMCS */
3035 error = vmx_memalloc(&cpudata->vmcs_pa, (vaddr_t *)&cpudata->vmcs,
3060 vmx_memfree(cpudata->vmcs_pa, (vaddr_t)cpudata->vmcs,
3086 vmx_memfree(cpudata->vmcs_pa, (vaddr_t)cpudata->vmcs, VMCS_NPAGES);
3187 /* VMCS is inactive, nothing to do. */
3189 /* VMCS is active on a remote CPU; clear it there. */
3192 /* VMCS is active on this CPU; clear it here. */
3205 /* Mark VMCS as inactive. */
Indexes created Sun Oct 12 02:09:55 GMT 2025