Searched refs:vm_guest_state_get_cr4 (Results 1 - 5 of 5) sorted by relevance

/seL4-test-master/projects/sel4_projects_libs/libsel4vm/src/arch/x86/
H A Ddebug.c62 vm_guest_state_get_cr4(vcpu->vcpu_arch.guest_state, vcpu->vcpu.cptr));
H A Dguest_x86_context.c108 val = vm_guest_state_get_cr4(vcpu->vcpu_arch.guest_state, vcpu->vcpu.cptr);
H A Dguest_state.h194 static inline unsigned int vm_guest_state_get_cr4(guest_state_t *gs, seL4_CPtr vcpu) function
/seL4-test-master/projects/sel4_projects_libs/libsel4vm/src/arch/x86/processor/
H A Dcr.c44 unsigned int cr4_value = vm_guest_state_get_cr4(vcpu->vcpu_arch.guest_state, vcpu->vcpu.cptr);
H A Ddecode.c140 if (vm_guest_state_get_cr4(vcpu->vcpu_arch.guest_state, vcpu->vcpu.cptr) & X86_CR4_PAE) {

Completed in 36 milliseconds