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

/seL4-camkes-master/projects/seL4_projects_libs/libsel4vm/src/arch/x86/
H A Dioports.c133 int is_in; local
137 is_in = (exit_qualification & 8) != 0;
148 if (!is_in) {
161 if (is_in) {
167 res = vcpu->vm->arch.unhandled_ioport_callback(vcpu, port_no, is_in, &value, size,
174 if (is_in) {
181 if (is_in) {
191 is_in, 0, port_no, size);
/seL4-camkes-master/projects/seL4_projects_libs/libsel4vmmplatsupport/include/sel4vmmplatsupport/
H A Dioports.h104 * @function emulate_io_handler(io_port, port_no, is_in, size, data)
108 * @param {bool} is_in True if we are performing an io in operation, otherwise False
113 int emulate_io_handler(vmm_io_port_list_t *io_port, unsigned int port_no, bool is_in, size_t size, unsigned int *data);
/seL4-camkes-master/projects/seL4_projects_libs/libsel4vm/arch_include/x86/sel4vm/arch/
H A Dioports.h59 * @param {bool} is_in True if it is an ioport in access. False if it is an ioport out access.
67 typedef ioport_fault_result_t (*unhandled_ioport_callback_fn)(vm_vcpu_t *vcpu, unsigned int port_no, bool is_in,
/seL4-camkes-master/projects/seL4_projects_libs/libsel4vmmplatsupport/src/
H A Dioports.c50 int emulate_io_handler(vmm_io_port_list_t *io_port, unsigned int port_no, bool is_in, size_t size, unsigned int *data) argument
61 is_in, port_no, vmm_debug_io_portno_desc(io_port, port_no), size);
75 if (is_in) {
84 is_in, 0, port_no, vmm_debug_io_portno_desc(io_port, port_no), size);
/seL4-camkes-master/projects/seL4_projects_libs/libsel4vmmplatsupport/src/arch/arm/devices/
H A Dvpci.c159 bool is_in = false; local
161 is_in = true;
166 emulate_io_handler(io_port, cfg_port, is_in, fault_length, (void *)&value);
168 if (is_in) {

Completed in 98 milliseconds