Searched refs:vm_print_guest_context (Results 1 - 4 of 4) sorted by relevance

/seL4-camkes-master/projects/seL4_projects_libs/libsel4vm/src/arch/x86/
H A Ddebug.h24 void vm_print_guest_context(vm_vcpu_t *);
H A Dvmx_timer.c26 vm_print_guest_context(vcpu);
H A Ddebug.c25 void vm_print_guest_context(vm_vcpu_t *vcpu) function
H A Dvm.c70 vm_print_guest_context(vcpu);
79 vm_print_guest_context(vcpu);

Completed in 30 milliseconds