/seL4-camkes-master/kernel/include/plat/pc99/plat/machine/ |
H A D | io.h | 14 void out8(uint16_t port, uint8_t value); 16 void out16(uint16_t port, uint16_t value); 18 void out32(uint16_t port, uint32_t value); 20 uint8_t in8(uint16_t port); 22 uint16_t in16(uint16_t port); 24 uint32_t in32(uint16_t port); 27 void serial_init(uint16_t port);
|
/seL4-camkes-master/tools/rumprun/platform/xen/xen/console/ |
H A D | console.h | 2 void console_handle_input(evtchn_port_t port, struct pt_regs *regs, void *data);
|
/seL4-camkes-master/projects/util_libs/libplatsupport/src/plat/exynos5/ |
H A D | mux.c | 18 { .port = GPB3, .pin = 1, .value = MUXVALUE_CPD(2, PUD_PULLUP, DRV1X)}, 19 { .port = GPB3, .pin = 0, .value = MUXVALUE_CPD(2, PUD_PULLUP, DRV1X)}, 20 { .port = GPIOPORT_NONE } 23 { .port = GPB3, .pin = 3, .value = MUXVALUE_CPD(2, PUD_PULLUP, DRV1X)}, 24 { .port = GPB3, .pin = 2, .value = MUXVALUE_CPD(2, PUD_PULLUP, DRV1X)}, 25 { .port = GPIOPORT_NONE } 28 { .port = GPA0, .pin = 7, .value = MUXVALUE_CPD(3, PUD_PULLUP, DRV1X)}, 29 { .port = GPA0, .pin = 6, .value = MUXVALUE_CPD(3, PUD_PULLUP, DRV1X)}, 30 { .port = GPIOPORT_NONE } 33 { .port [all...] |
/seL4-camkes-master/kernel/src/plat/pc99/machine/ |
H A D | io.c | 14 void serial_init(uint16_t port) argument 16 while (!(in8(port + 5) & 0x60)); /* wait until not busy */ 18 out8(port + 1, 0x00); /* disable generating interrupts */ 19 out8(port + 3, 0x80); /* line control register: command: set divisor */ 20 out8(port, 0x01); /* set low byte of divisor to 0x01 = 115200 baud */ 21 out8(port + 1, 0x00); /* set high byte of divisor to 0x00 */ 22 out8(port + 3, 0x03); /* line control register: set 8 bit, no parity, 1 stop bit */ 23 out8(port + 4, 0x0b); /* modem control register: set DTR/RTS/OUT2 */ 25 in8(port); /* clear receiver port */ [all...] |
/seL4-camkes-master/projects/camkes-tool/libsel4camkes/src/arch_include/camkes/arch/ |
H A D | io.h | 18 * Architectural specific implementation of the IO port operations. 20 int camkes_arch_io_port_in(uint32_t port, int io_size, uint32_t *result); 22 int camkes_arch_io_port_out(uint32_t port, int io_size, uint32_t val);
|
/seL4-camkes-master/tools/rumprun/platform/xen/librumpxen_xendev/ |
H A D | xenio3.h | 35 * Bind a fresh port to VIRQ @virq. 36 * Return allocated port. 42 unsigned int port; member in struct:ioctl_evtchn_bind_virq 46 * Bind a fresh port to remote <@remote_domain, @remote_port>. 47 * Return allocated port. 53 unsigned int port; member in struct:ioctl_evtchn_bind_interdomain 57 * Allocate a fresh port for binding to @remote_domain. 58 * Return allocated port. 64 unsigned int port; member in struct:ioctl_evtchn_bind_unbound_port 68 * Unbind previously allocated @port 73 unsigned int port; member in struct:ioctl_evtchn_unbind 82 unsigned int port; member in struct:ioctl_evtchn_notify [all...] |
/seL4-camkes-master/projects/util_libs/libplatsupport/src/plat/exynos4/ |
H A D | mux.c | 17 { .port = GPD1, .pin = 0, MUXVALUE_CPD(2, PUD_PULLUP, DRV1X)}, 18 { .port = GPD1, .pin = 1, MUXVALUE_CPD(2, PUD_PULLUP, DRV1X)}, 19 { .port = GPIOPORT_NONE } 22 { .port = GPD1, .pin = 2, MUXVALUE_CPD(2, PUD_PULLUP, DRV1X)}, 23 { .port = GPD1, .pin = 3, MUXVALUE_CPD(2, PUD_PULLUP, DRV1X)}, 24 { .port = GPIOPORT_NONE } 28 { .port = GPA0, .pin = 6, MUXVALUE_CPD(3, PUD_PULLUP, DRV1X)}, 29 { .port = GPA0, .pin = 7, MUXVALUE_CPD(3, PUD_PULLUP, DRV1X)}, 30 { .port = GPIOPORT_NONE } 34 { .port [all...] |
/seL4-camkes-master/tools/rumprun/platform/xen/xen/ |
H A D | events.c | 37 void default_handler(evtchn_port_t port, struct pt_regs *regs, void *data); 41 static void (*rump_evtdev_callback)(u_int port); 52 void minios_evtdev_handler(evtchn_port_t port, struct pt_regs * regs, argument 57 minios_mask_evtchn(port); 62 rump_evtdev_callback(port); 85 minios_printk("port %d still bound!\n", i); 94 close.port = i; 108 int do_event(evtchn_port_t port, struct pt_regs *regs) argument 112 minios_clear_evtchn(port); 114 if (port > 131 minios_bind_evtchn(evtchn_port_t port, evtchn_handler_t handler, void *data) argument 149 minios_unbind_evtchn(evtchn_port_t port) argument 258 default_handler(evtchn_port_t port, struct pt_regs *regs, void *ignore) argument 270 minios_evtchn_alloc_unbound(domid_t pal, evtchn_handler_t handler, void *data, evtchn_port_t *port) argument 296 evtchn_port_t port; local 311 minios_notify_remote_via_evtchn(evtchn_port_t port) argument [all...] |
H A D | hypervisor.c | 42 unsigned int port; local 66 port = (l1i * (sizeof(unsigned long) * 8)) + l2i; 67 do_event(port, regs); 91 inline void minios_mask_evtchn(uint32_t port) argument 94 synch_set_bit(port, &s->evtchn_mask[0]); 97 inline void minios_unmask_evtchn(uint32_t port) argument 102 synch_clear_bit(port, &s->evtchn_mask[0]); 108 if ( synch_test_bit (port, &s->evtchn_pending[0]) && 109 !synch_test_and_set_bit(port / (sizeof(unsigned long) * 8), 118 inline void minios_clear_evtchn(uint32_t port) argument [all...] |
/seL4-camkes-master/projects/camkes-tool/libsel4camkes/src/arch/arm/ |
H A D | io.c | 15 int camkes_arch_io_port_in(uint32_t port, int io_size, uint32_t *result) argument 21 int camkes_arch_io_port_out(uint32_t port, int io_size, uint32_t val) argument
|
/seL4-camkes-master/projects/camkes-tool/libsel4camkes/src/arch/riscv/ |
H A D | io.c | 15 int camkes_arch_io_port_in(uint32_t port, int io_size, uint32_t *result) argument 21 int camkes_arch_io_port_out(uint32_t port, int io_size, uint32_t val) argument
|
/seL4-camkes-master/projects/musllibc/src/network/ |
H A D | getservbyport.c | 4 struct servent *getservbyport(int port, const char *prots) argument 9 if (getservbyport_r(port, prots, &se, (void *)buf, sizeof buf, &res))
|
H A D | lookup_serv.c | 16 unsigned long port = 0; local 42 buf[0].port = 0; 50 port = strtoul(name, &z, 10); 53 if (port > 65535) return EAI_SERVICE; 55 buf[cnt].port = port; 60 buf[cnt].port = port; 96 port = strtoul(p, &z, 10); 97 if (port > 6553 [all...] |
/seL4-camkes-master/tools/rumprun/platform/hw/include/arch/x86/ |
H A D | inline.h | 2 inb(uint16_t port) argument 6 __asm__ __volatile__("inb %1, %0" : "=a"(rv) : "d"(port)); 12 inl(uint16_t port) argument 16 __asm__ __volatile__("inl %1, %0" : "=a"(rv) : "d"(port)); 22 outb(uint16_t port, uint8_t value) argument 25 __asm__ __volatile__("outb %0, %1" :: "a"(value), "d"(port)); 29 outl(uint16_t port, uint32_t value) argument 32 __asm__ __volatile__("outl %0, %1" :: "a"(value), "d"(port));
|
/seL4-camkes-master/projects/camkes-tool/libsel4camkes/src/arch/x86/ |
H A D | io.c | 20 /* Definitions so that we can find the exposed IO port regions */ 26 /* Iterates through all the allocated IO port regions and tries to find one that fits */ 27 static ioport_region_t *find_io_port_region(uint16_t port) argument 31 if (port >= (*region)->start && port <= (*region)->end) { 45 .description = "failed to read from IO port", 55 static int camkes_arch_io_port_in8(ioport_region_t *region, uint16_t port, uint32_t *result) argument 57 seL4_X86_IOPort_In8_t reply = seL4_X86_IOPort_In8(region->cap, port); 69 static int camkes_arch_io_port_in16(ioport_region_t *region, uint16_t port, uint32_t *result) argument 71 seL4_X86_IOPort_In16_t reply = seL4_X86_IOPort_In16(region->cap, port); 83 camkes_arch_io_port_in32(ioport_region_t *region, uint16_t port, uint32_t *result) argument 97 camkes_arch_io_port_out8(ioport_region_t *region, uint16_t port, uint32_t value) argument 110 camkes_arch_io_port_out16(ioport_region_t *region, uint16_t port, uint32_t value) argument 123 camkes_arch_io_port_out32(ioport_region_t *region, uint16_t port, uint32_t value) argument 135 camkes_arch_io_port_in(uint32_t port, int io_size, uint32_t *result) argument 154 camkes_arch_io_port_out(uint32_t port, int io_size, uint32_t value) argument [all...] |
/seL4-camkes-master/tools/rumprun/platform/xen/xen/include/mini-os/ |
H A D | events.h | 28 int do_event(evtchn_port_t port, struct pt_regs *regs); 31 evtchn_port_t minios_bind_evtchn(evtchn_port_t port, evtchn_handler_t handler, 33 void minios_unbind_evtchn(evtchn_port_t port); 36 void *data, evtchn_port_t *port); 42 int minios_notify_remote_via_evtchn(evtchn_port_t port); 49 void minios_evtdev_handler(evtchn_port_t port, struct pt_regs * regs,
|
/seL4-camkes-master/projects/util_libs/libethdrivers/src/plat/imx6/uboot/ |
H A D | mxc_gpio.c | 45 /* GPIO port description */ 89 unsigned int port = GPIO_TO_PORT(gpio); local 93 if (port >= ARRAY_SIZE(gpio_ports)) { 99 if (gpio_ports[port] == 0) { 100 uintptr_t gpio_phys = (uintptr_t)gpio_paddr[port]; 101 gpio_ports[port] = (unsigned long)ps_io_map(&io_ops->io_mapper, gpio_phys, GPIO_SIZE, 0, PS_MEM_NORMAL); 102 if (gpio_ports[port] == 0) { 103 LOG_ERROR("Warning: No map for GPIO %d. Assuming that it is already configured\n", port); 108 regs = (struct gpio_regs *)gpio_ports[port]; 125 unsigned int port local 150 unsigned int port = GPIO_TO_PORT(gpio); local 169 unsigned int port = GPIO_TO_PORT(gpio); local [all...] |
/seL4-camkes-master/projects/projects_libs/libusbdrivers/src/ehci/ |
H A D | hub.c | 18 volatile uint32_t *_get_portsc(struct ehci_host *h, int port) argument 22 if (port <= 0 || port > EHCI_HCS_N_PORTS(h->cap_regs->hcsparams)) { 23 ZF_LOGF("Invalid port\n"); 25 reg = &h->op_regs->portsc[port - 1]; 29 int _set_pf(void *token, int port, enum port_feature feature) argument 32 volatile uint32_t *ps_reg = _get_portsc(edev, port); 41 edev->board_pwren(port, 1); 48 ZF_LOGF("Failed to rest the host port\n"); 50 edev->bmreset_c = BIT(port); 80 _clr_pf(void *token, int port, enum port_feature feature) argument 135 _get_pstat(void *token, int port, struct port_status *_ps) argument [all...] |
/seL4-camkes-master/projects/seL4_projects_libs/libsel4keyboard/arch_include/x86/keyboard/ |
H A D | keyboard.h | 16 typedef uint8_t (*in8_fn)(uint16_t port); 17 typedef void (*out8_fn)(uint16_t port, uint8_t value); 22 * in8 - Function for getting a byte from either IO port 0x60 or port 0x64. 23 * out8 - Function for writing a byte to either IO port 0x60 or port 0x64.
|
/seL4-camkes-master/projects/global-components/components/PCIConfigIO/src/ |
H A D | pci.c | 39 uint32_t port = CONFIG_DATA + (offset & 3); local 40 int error = ps_io_port_in(&io_ops, port, IOSIZE_8, &result); 52 uint32_t port = CONFIG_DATA + (offset & 2); local 53 int error = ps_io_port_in(&io_ops, port, IOSIZE_16, &result); 65 uint32_t port = CONFIG_DATA; local 66 int error = ps_io_port_in(&io_ops, port, IOSIZE_32, &result); 77 uint32_t port = CONFIG_DATA + (offset & 3); local 79 ps_io_port_out(&io_ops, port, IOSIZE_8, val); 85 uint32_t port = CONFIG_DATA + (offset & 2); local 87 ps_io_port_out(&io_ops, port, IOSIZE_1 93 uint32_t port = CONFIG_DATA; local [all...] |
/seL4-camkes-master/projects/picotcp/modules/ |
H A D | pico_socket_udp.h | 11 # define pico_socket_udp_recv(s, buf, len, addr, port) pico_udp_recv(s, buf, len, addr, port, NULL)
|
/seL4-camkes-master/projects/seL4_projects_libs/libsel4bga/arch_include/x86/bga/ |
H A D | bga.h | 19 * ioport_write - Callback for writing to an IO port. 20 * ioport_read - Callback for reading from an IO port. 23 void (*ioport_write)(uint16_t port, uint16_t value), 24 uint16_t (*ioport_read)(uint16_t port));
|
/seL4-camkes-master/projects/seL4_projects_libs/libsel4vchan/include/linuxsel4vchan/ |
H A D | sel4libvchan.h | 24 struct libsel4vchan *libsel4vchan_server_init(int domain, int port); 25 struct libsel4vchan *libsel4vchan_client_init(int domain, int port);
|
/seL4-camkes-master/projects/seL4_libs/libsel4platsupport/src/arch/x86/ |
H A D | io_port_ops.c | 28 sel4platsupport_io_port_in(void *cookie, uint32_t port, int io_size, uint32_t *result) argument 31 uint32_t last_port = port + io_size - 1; 39 error = simple_get_IOPort_cap(io_cookie->simple, port, last_port, path.root, path.capPtr, path.capDepth); 41 ZF_LOGE("Failed to get capability for IOPort range 0x%x-0x%x", port, last_port); 47 seL4_X86_IOPort_In8_t x = seL4_X86_IOPort_In8(path.capPtr, port); 53 seL4_X86_IOPort_In16_t x = seL4_X86_IOPort_In16(path.capPtr, port); 59 seL4_X86_IOPort_In32_t x = seL4_X86_IOPort_In32(path.capPtr, port); 76 sel4platsupport_io_port_out(void *cookie, uint32_t port, int io_size, uint32_t val) argument 79 uint32_t last_port = port + io_size - 1; 87 error = simple_get_IOPort_cap(io_cookie->simple, port, last_por [all...] |
/seL4-camkes-master/projects/lwip/src/apps/tftp/ |
H A D | tftp_server.c | 85 u16_t port; member in struct:tftp_state 100 tftp_state.port = 0; 118 send_error(const ip_addr_t *addr, u16_t port, enum tftp_error code, const char *str) argument 134 udp_sendto(tftp_state.upcb, p, addr, port); 152 udp_sendto(tftp_state.upcb, p, &tftp_state.addr, tftp_state.port); 169 udp_sendto(tftp_state.upcb, p, &tftp_state.addr, tftp_state.port); 194 send_error(&tftp_state.addr, tftp_state.port, TFTP_ERROR_ACCESS_VIOLATION, "Error occured while reading the file."); 204 recv(void *arg, struct udp_pcb *upcb, struct pbuf *p, const ip_addr_t *addr, u16_t port) argument 212 if (((tftp_state.port != 0) && (port ! [all...] |