Searched refs:vm_guest_state_get_gdt_base (Results 1 - 2 of 2) sorted by relevance

/seL4-test-master/projects/sel4_projects_libs/libsel4vm/src/arch/x86/
H A Dguest_x86_context.c120 val = vm_guest_state_get_gdt_base(vcpu->vcpu_arch.guest_state, vcpu->vcpu.cptr);
H A Dguest_state.h264 static inline unsigned int vm_guest_state_get_gdt_base(guest_state_t *gs, seL4_CPtr vcpu) function

Completed in 25 milliseconds