| /seL4-camkes-master/kernel/src/plat/pc99/machine/ |
| H A D | io.c | 14 void serial_init(uint16_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
|
| H A D | getservbyport_r.c | 9 int getservbyport_r(int port, const char *prots, argument
|
| H A D | lookup_serv.c | 16 unsigned long port = 0; local
[all...] |
| H A D | lookup.h | 15 uint16_t port; member in struct:service
|
| /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
29 int _set_pf(void *token, int port, enum port_feature feature) argument
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...] |
| H A D | periodic.c | 159 int port; local
|
| /seL4-camkes-master/tools/rumprun/platform/hw/include/arch/x86/ |
| H A D | inline.h | 2 inb(uint16_t port) argument
12 inl(uint16_t port) argument
22 outb(uint16_t port, uint8_t value) argument
29 outl(uint16_t port, uint32_t value) argument
|
| /seL4-camkes-master/tools/rumprun/platform/xen/librumpxen_xendev/ |
| H A D | xenio3.h | 42 unsigned int port; member in struct:ioctl_evtchn_bind_virq
53 unsigned int port; member in struct:ioctl_evtchn_bind_interdomain
64 unsigned int port; member in struct:ioctl_evtchn_bind_unbound_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/lwip/src/apps/snmp/ |
| H A D | snmp_netconn.c | 82 snmp_sendto(void *handle, struct pbuf *p, const ip_addr_t *dst, u16_t port) argument
|
| H A D | snmp_raw.c | 47 snmp_recv(void *arg, struct udp_pcb *pcb, struct pbuf *p, const ip_addr_t *addr, u16_t port) argument
57 snmp_sendto(void *handle, struct pbuf *p, const ip_addr_t *dst, u16_t port) argument
|
| /seL4-camkes-master/projects/camkes/apps/aeroplage/components/KeyboardDriver/ |
| H A D | driver.c | 24 static uint8_t in8(uint16_t port) argument
34 static void out8(uint16_t port, uint8_t value) argument
|
| /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
76 sel4platsupport_io_port_out(void *cookie, uint32_t port, int io_size, uint32_t val) argument
[all...] |
| /seL4-camkes-master/projects/picotcp/test/examples/ |
| H A D | udpnat.c | 98 int port = 0; local
|
| H A D | tcpecho.c | 64 uint16_t port = 0; local
|
| H A D | udp_echo.c | 25 uint16_t port = 0; local
|
| /seL4-camkes-master/tools/rumprun/platform/xen/xen/console/ |
| H A D | xencons_ring.c | 81 void console_handle_input(evtchn_port_t port, struct pt_regs *regs, void *data) argument
|
| /seL4-camkes-master/projects/camkes-tool/camkes/templates/ |
| H A D | seL4HardwareIOPort.template.c | 36 int /*? me.interface.name ?*/_in_range(unsigned port) { argument
|
| /seL4-camkes-master/projects/camkes/apps/picotcp_single_component/src/ |
| H A D | tcp_echo_socket.c | 196 uint16_t port = short_be(TCP_ECHO_PORT); local
|
| /seL4-camkes-master/projects/camkes/apps/rumprun_ethernet/components/rump_ether/ |
| H A D | tcp_server.c | 66 int port = atoi(argv[1]); local
|
| /seL4-camkes-master/projects/camkes/apps/keyboard/components/Driver/src/ |
| H A D | driver.c | 27 static uint8_t port_in8(uint16_t port) argument
|
| /seL4-camkes-master/projects/global-components/components/PCIConfigIO/src/ |
| H A D | pci.c | 39 uint32_t port = CONFIG_DATA + (offset & 3); local
52 uint32_t port = CONFIG_DATA + (offset & 2); local
65 uint32_t port = CONFIG_DATA; local
77 uint32_t port = CONFIG_DATA + (offset & 3); local
85 uint32_t port = CONFIG_DATA + (offset & 2); local
93 uint32_t port = CONFIG_DATA; local
[all...] |
| /seL4-camkes-master/projects/picotcp/modules/ |
| H A D | pico_udp.c | 186 uint16_t pico_udp_recv(struct pico_socket *s, void *buf, uint16_t len, void *src, uint16_t *port, struct pico_msginfo *msginfo) argument
|