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

/seL4-test-master/projects/sel4_projects_libs/libsel4vm/arch_include/x86/sel4vm/arch/
H A Dguest_vm_arch.h25 typedef struct guest_state guest_state_t; typedef in typeref:struct:guest_state
64 * @param {guest_state_t *} guest_state Current VCPU State
68 guest_state_t *guest_state;
/seL4-test-master/projects/sel4_projects_libs/libsel4vm/src/arch/x86/
H A Dguest_state.h111 } guest_state_t; typedef in typeref:struct:guest_state
113 static inline bool vm_guest_state_no_modified(guest_state_t *gs)
131 static inline void vm_guest_state_initialise(guest_state_t *gs)
133 memset(gs, 0, sizeof(guest_state_t));
148 static inline void vm_guest_state_invalidate_all(guest_state_t *gs)
165 static inline unsigned int vm_guest_state_get_eip(guest_state_t *gs)
170 static inline unsigned int vm_guest_state_get_cr0(guest_state_t *gs, seL4_CPtr vcpu)
182 static inline unsigned int vm_guest_state_get_cr3(guest_state_t *gs, seL4_CPtr vcpu)
194 static inline unsigned int vm_guest_state_get_cr4(guest_state_t *gs, seL4_CPtr vcpu)
206 static inline unsigned int vm_guest_state_get_rflags(guest_state_t *g
[all...]
H A Dinterrupt.c132 guest_state_t *gs = vcpu->vcpu_arch.guest_state;
H A Dboot.c148 vcpu->vcpu_arch.guest_state = calloc(1, sizeof(guest_state_t));
/seL4-test-master/projects/sel4_projects_libs/libsel4vm/src/arch/x86/processor/
H A Ddecode.h23 uint16_t *segment, uintptr_t eip, uint32_t len, guest_state_t *gs);
H A Ddecode.c271 uint16_t *segment, uintptr_t eip, uint32_t len, guest_state_t *gs)

Completed in 37 milliseconds