/* ----------------------------------------------------------------------------- vmx_suspend() Restore the previous VT state. Called when CPU comes back online. -------------------------------------------------------------------------- */ void vmx_resume() { VMX_KPRINTF("vmx_resume\n"); vmx_init(); /* init VMX on CPU #0 */ if (vmx_use_count) vmx_on(); }
/*TODO: move into guest-vcpu module */ static void enter_guest_mode(uint16_t pcpu_id) { vmx_on(); (void)launch_vms(pcpu_id); switch_to_idle(default_idle); /* Control should not come here */ cpu_dead(); }