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 D | guest_vm_arch.h | 25 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 D | guest_state.h | 111 } 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 D | interrupt.c | 132 guest_state_t *gs = vcpu->vcpu_arch.guest_state;
|
H A D | boot.c | 148 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 D | decode.h | 23 uint16_t *segment, uintptr_t eip, uint32_t len, guest_state_t *gs);
|
H A D | decode.c | 271 uint16_t *segment, uintptr_t eip, uint32_t len, guest_state_t *gs)
|
Completed in 37 milliseconds