Searched refs:save_world_ctx (Results 1 – 1 of 1) sorted by relevance
103 static void save_world_ctx(struct acrn_vcpu *vcpu, struct ext_context *ext_ctx) in save_world_ctx() function230 save_world_ctx(vcpu, &arch->contexts[!next_world].ext_ctx); in switch_world()384 save_world_ctx(vcpu, &vcpu->arch.contexts[NORMAL_WORLD].ext_ctx); in initialize_trusty()
Completed in 5 milliseconds