Searched refs:ctx_saved (Results 1 – 2 of 2) sorted by relevance
93 vm->sworld_control.flag.ctx_saved = 1UL; in hcall_save_restore_sworld_ctx()96 if (vm->sworld_control.flag.ctx_saved != 0UL) { in hcall_save_restore_sworld_ctx()98 vm->sworld_control.flag.ctx_saved = 0UL; in hcall_save_restore_sworld_ctx()
108 uint64_t ctx_saved : 1; member
Completed in 5 milliseconds