Home
last modified time | relevance | path

Searched refs:next_world_id (Results 1 – 1 of 1) sorted by relevance

/hypervisor/common/
A Dtrusty_hypercall.c30 int32_t next_world_id = !(vcpu->arch.cur_context); in hcall_world_switch() local
33 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