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 D | ioports.c | 133 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 D | ioports.h | 104 * @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 D | ioports.h | 59 * @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 D | ioports.c | 50 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 D | vpci.c | 159 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