Searched refs:seL4_VCPUContext (Results 1 - 6 of 6) sorted by relevance

/seL4-camkes-master/projects/seL4_projects_libs/libsel4vm/arch_include/x86/sel4vm/arch/
H A Dguest_x86_context.h31 * Set a VCPU's thread registers given a seL4_VCPUContext
33 * @param {seL4_VCPUContext} context seL4_VCPUContext applied to VCPU Registers
36 int vm_set_thread_context(vm_vcpu_t *vcpu, seL4_VCPUContext context);
40 * Set a single VCPU's thread register in a seL4_VCPUContext
52 * @param {seL4_VCPUContext *} context Pointer to user supplied seL4_VCPUContext to populate with VCPU's current context
55 int vm_get_thread_context(vm_vcpu_t *vcpu, seL4_VCPUContext *context);
/seL4-camkes-master/kernel/libsel4/arch_include/x86/sel4/arch/
H A Dtypes.h41 } seL4_VCPUContext; typedef in typeref:struct:seL4_VCPUContext_
/seL4-camkes-master/projects/seL4_projects_libs/libsel4vm/src/arch/x86/
H A Dguest_x86_context.c15 int vm_set_thread_context(vm_vcpu_t *vcpu, seL4_VCPUContext context)
29 int vm_get_thread_context(vm_vcpu_t *vcpu, seL4_VCPUContext *context)
181 seL4_VCPUContext context;
H A Dvm.c110 seL4_VCPUContext context;
H A Dguest_state.h67 MACHINE_STATE(seL4_VCPUContext, context);
482 * Sync a VCPU's current context state (seL4_VCPUContext)
/seL4-camkes-master/projects/seL4_projects_libs/libsel4vmmplatsupport/src/arch/x86/
H A Dguest_boot_init.c268 seL4_VCPUContext context;

Completed in 45 milliseconds