Lines Matching defs:context
110 seL4_VCPUContext context;
111 context.eax = msg[SEL4_VMENTER_FAULT_EAX];
112 context.ebx = msg[SEL4_VMENTER_FAULT_EBX];
113 context.ecx = msg[SEL4_VMENTER_FAULT_ECX];
114 context.edx = msg[SEL4_VMENTER_FAULT_EDX];
115 context.esi = msg[SEL4_VMENTER_FAULT_ESI];
116 context.edi = msg[SEL4_VMENTER_FAULT_EDI];
117 context.ebp = msg[SEL4_VMENTER_FAULT_EBP];
118 MACHINE_STATE_READ(vcpu->vcpu_arch.guest_state->machine.context, context);