Searched refs:next_world_id (Results 1 – 1 of 1) sorted by relevance
30 int32_t next_world_id = !(vcpu->arch.cur_context); in hcall_world_switch() local33 if ((vcpu->vm->sworld_control.flag.supported != 0UL) && (next_world_id < NR_WORLD) in hcall_world_switch()35 switch_world(vcpu, next_world_id); in hcall_world_switch()
Completed in 2 milliseconds