Searched refs:port (Results 1 - 25 of 168) sorted by relevance

1234567

/seL4-camkes-master/kernel/include/plat/pc99/plat/machine/
H A Dio.h14 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 Dconsole.h2 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 Dmux.c18 { .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 Dio.c14 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 Dio.h18 * 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 Dxenio3.h35 * 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 Dmux.c17 { .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 Devents.c37 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 Dhypervisor.c42 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 Dio.c15 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 Dio.c15 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 Dgetservbyport.c4 struct servent *getservbyport(int port, const char *prots) argument
9 if (getservbyport_r(port, prots, &se, (void *)buf, sizeof buf, &res))
H A Dlookup_serv.c16 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 Dinline.h2 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 Dio.c20 /* 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 Devents.h28 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 Dmxc_gpio.c45 /* 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 Dhub.c18 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 Dkeyboard.h16 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 Dpci.c39 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 Dpico_socket_udp.h11 # 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 Dbga.h19 * 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 Dsel4libvchan.h24 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 Dio_port_ops.c28 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 Dtftp_server.c85 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...]

Completed in 233 milliseconds

1234567