/seL4-camkes-master/projects/projects_libs/libsdhcdrivers/src/ |
H A D | sdhc.c | 194 UNUSED static void print_sdhc_regs(struct sdhc *host) argument 198 ZF_LOGD("%x: %X", i, readl(host->base + i)); 202 static inline enum dma_mode get_dma_mode(struct sdhc *host, struct mmc_cmd *cmd) argument 214 static inline int cap_sdma_supported(struct sdhc *host) argument 217 v = readl(host->base + HOST_CTRL_CAP); 221 static inline int cap_max_buffer_size(struct sdhc *host) argument 224 v = readl(host->base + HOST_CTRL_CAP); 229 static int sdhc_next_cmd(sdhc_dev_t host) argument 231 struct mmc_cmd *cmd = host->cmd_list_head; 241 if (get_dma_mode(host, cm 361 sdhc_dev_t host = sdio_get_sdhc(sdio); local 536 sdhc_dev_t host = sdio_get_sdhc(sdio); local 547 sdhc_dev_t host = sdio_get_sdhc(sdio); local 676 sdhc_dev_t host = sdio_get_sdhc(sdio); local 733 sdhc_dev_t host = sdio_get_sdhc(sdio); local 755 sdhc_dev_t host = sdio_get_sdhc(sdio); local [all...] |
/seL4-camkes-master/projects/picotcp/test/examples/ |
H A D | ping.c | 12 char host[30]; local 13 pico_ipv4_to_string(host, s->dst.addr); 15 dbg("%lu bytes from %s: icmp_req=%lu ttl=%lu time=%lu ms\n", s->size, host, s->seq, 20 dbg("PING %lu to %s: Error %d\n", s->seq, host, s->err); 28 char host[50]; local 29 pico_ipv6_to_string(host, s->dst.addr); 31 dbg("%lu bytes from %s: icmp_req=%lu ttl=%lu time=%lu ms\n", s->size, host, s->seq, 36 dbg("PING %lu to %s: Error %d\n", s->seq, host, s->err);
|
H A D | slaacv4.c | 8 char host[30] = { }; local 10 pico_ipv4_to_string(host, s->dst.addr); 12 dbg("SLAACV4: %lu bytes from %s: icmp_req=%lu ttl=64 time=%lu ms\n", s->size, host, 20 dbg("SLAACV4: ping %lu to %s error %d\n", s->seq, host, s->err);
|
H A D | dhcp_client.c | 18 char host[30] = { }; local 20 pico_ipv4_to_string(host, s->dst.addr); 23 s->size, host, s->seq, (long unsigned int)s->time); 30 dbg("DHCP client: ping %lu to %s error %d\n", s->seq, host, s->err);
|
/seL4-camkes-master/projects/projects_libs/libusbdrivers/src/ |
H A D | usb.c | 108 static void devlist_init(usb_t * host) argument 110 host->devlist = NULL; 111 host->addrbm = 1; 112 host->next_addr = 1; 118 usb_t *host = d->host; local 119 int i = host->next_addr; 121 if (host->addrbm == (1ULL << NUM_DEVICES) - 1) { 125 while (host->addrbm & (1 << i)) { 134 SGLIB_LIST_ADD(struct usb_dev, host 151 usb_t *host = d->host; local 161 devlist_at(usb_t *host, int addr) argument 496 print_dev_graph(usb_t * host, struct usb_dev *d, int depth) argument 606 usb_new_device_with_host(struct usb_dev *hub, usb_t * host, int port, enum usb_speed speed, struct usb_dev **d) argument 783 usb_init(enum usb_host_id id, ps_io_ops_t * ioops, ps_mutex_ops_t * sync, usb_t * host) argument 820 usb_get_device(usb_t * host, int addr) argument 949 usb_handle_irq(usb_t *host) argument 985 usb_lsusb(usb_t * host, int v) argument [all...] |
/seL4-camkes-master/projects/projects_libs/libusbdrivers/src/plat/pc99/ |
H A D | ehci-pci.c | 139 ZF_LOGF("Invalid host\n"); 155 usb_host_irqs(usb_host_t* host, int* nirqs) argument 157 if (host->id < 0 || host->id > USB_NHOSTS) { 166 switch (host->id) { 174 ZF_LOGF("Invalid host\n"); 179 host->irqs = &_irq_line; 180 return host->irqs;
|
/seL4-camkes-master/projects/projects_libs/libusbdrivers/src/plat/exynos5/ |
H A D | ehci-exynos5.c | 226 const int *usb_host_irqs(usb_host_t *host, int *nirqs) argument 228 if (host->id < 0 || host->id > USB_NHOSTS) { 236 host->irqs = &_usb_irqs[host->id]; 237 return host->irqs;
|
/seL4-camkes-master/tools/cogent/impl/fs/ext2/cogent/plat/linux/ |
H A D | module.c | 75 struct inode *inode = page->mapping->host; 98 struct inode *inode = mapping->host; 120 struct inode* inode = page->mapping->host; 142 struct inode* inode = mapping->host; 164 struct inode *inode = mapping->host; 178 struct inode* inode = mapping->host; 208 struct inode* inode = mapping->host; 237 struct inode* inode = mapping->host; 259 struct inode *inode = mapping->host; 280 struct inode *inode = mapping->host; [all...] |
/seL4-camkes-master/projects/picotcp/test/ |
H A D | ppp.c | 113 char host[30]; local 114 pico_ipv4_to_string(host, s->dst.addr); 116 dbg("%lu bytes from %s: icmp_req=%lu ttl=64 time=%lu ms\n", s->size, host, s->seq, s->time); 118 dbg("PING %lu to %s: Error %d\n", s->seq, host, s->err);
|
/seL4-camkes-master/tools/rumprun/tests/ |
H A D | buildtests.sh | 62 ./configure --host=${TOOLTUPLE}
|
/seL4-camkes-master/projects/projects_libs/libusbdrivers/include/usb/ |
H A D | usb.h | 20 // Maximum number of devices a host can manage 38 /// List of devices connected to this host 75 usb_t *host; member in struct:usb_dev 293 * @param[in] id the ID of the USB host to 299 * @param[out] host On success, this will be filled with 300 * a handle to the usb host controller 304 int usb_init(enum usb_host_id id, ps_io_ops_t* ioops, ps_mutex_ops_t *sync, usb_t* host); 309 * allocator of host device. On success, key device parameters 392 * @param[in] host the USB host devic [all...] |
H A D | usb_host.h | 57 /* For host controller driver only, actually holds queue head. */ 79 /// The host exhibited a failure during the transaction. 126 /// Number of ports provided by this host controller 153 * @param[in] hdev The host controller that should be used for the transfer 195 * Initialise USB host controller. 196 * This function should only be called if you wish to use a raw API for the usb host controller, otherwise, 199 * @param[in] id The id of the host controller to initialise 201 * of the initialised host controller 203 * @param[out] hdev A host structure to populate. This must 210 /** Return a list of IRQ numbers handled by the provided host [all...] |
/seL4-camkes-master/projects/musllibc/src/network/ |
H A D | getaddrinfo.c | 8 int getaddrinfo(const char *restrict host, const char *restrict serv, const struct addrinfo *restrict hint, struct addrinfo **restrict res) argument 23 if (!host && !serv) return EAI_NONAME; 49 naddrs = __lookup_name(addrs, canon, host, family, flags);
|
H A D | lookup_name.c | 17 static int is_valid_hostname(const char *host) argument 20 if (strnlen(host, 255)-1 >= 254 || mbstowcs(0, host, 0) == -1) return 0; 21 for (s=(void *)host; *s>=0x80 || *s=='.' || *s=='-' || isalnum(*s); s++);
|
/seL4-camkes-master/projects/projects_libs/libusbdrivers/src/plat/imx6/ |
H A D | ehci-imx6.c | 315 ZF_LOGF("Invalid host id\n"); 370 usb_host_irqs(usb_host_t* host, int* nirqs) argument 372 if (host->id < 0 || host->id > USB_NHOSTS) { 379 host->irqs = &_usb_irqs[host->id]; 381 return host->irqs;
|
/seL4-camkes-master/projects/picotcp/docs/user_manual/ |
H A D | chap_api_ipv6.tex | 8 Convert the internet host address IP to a string in IPv6 colon:hex notation. 19 \item \texttt{ip} - Internet host address in unsigned byte array notation of lenght 16. 81 \item \texttt{address} - Internet host address. 103 \item \texttt{address} - Internet host address. 125 \item \texttt{address} - Internet host address. 150 \item \texttt{address} - Internet host address. 172 \item \texttt{address} - Internet host address. 191 \item \texttt{address} - Internet host address. 210 \item \texttt{address} - Internet host address. 229 \item \texttt{address} - Internet host addres [all...] |
H A D | chap_api_ipv4.tex | 8 Convert the internet host address IP to a string in IPv4 dotted-decimal notation. 19 \item \texttt{ip} - Internet host address in integer notation. 114 \item \texttt{address} - Internet host address in integer notation. 142 \item \texttt{address} - Pointer to the destination internet host address as \texttt{struct pico$\_$ip4}. 152 \item \texttt{PICO$\_$ERR$\_$EHOSTUNREACH} - host is unreachable 177 \item \texttt{address} - Pointer to the internet host address as \texttt{struct pico$\_$ip4}. 190 \item \texttt{PICO$\_$ERR$\_$EHOSTUNREACH} - host is unreachable 213 \item \texttt{address} - Pointer to the internet host address as \texttt{struct pico$\_$ip4}. 244 \item \texttt{address} - Pointer to the internet host address as \texttt{struct pico$\_$ip4}. 335 \item \texttt{priv$\_$addr} - Private IP address of the host o [all...] |
H A D | chap_api_dns_c.tex | 50 Function to translate an url text string to an internet host address IP. 61 \item \texttt{callback} - Callback function, returning the internet host address IP and the provided argument. The returned string has to be freed by the user. 86 Function to translate an internet host address IP to an url text string. 96 \item \texttt{ip} - Pointer to text string containing an internet host address IP (e.g. 8.8.4.4)
|
H A D | chap_api_mdns.tex | 4 This module can register DNS resource records on the network via Multicast DNS as either \textbf{\emph{shared}} or \textbf{\emph{unique}} records. Unique records are, as the name implies, unique on the network (the record-name and -type combination is unique) and one single host has claimed the ownership of them. Shared records are records that are not unique on the network, which means multiple hosts can register records with the same record-name and -type combination. For more information on shared and unique resource record sets, see RFC6762. 6 Unique records are, as it should, defended when somebody else tries to claim the same unique records. When hosts detect such a defense of another host while registering their own records, the conflict will be resolved by choosing another name for the records and another attempt is made to register those new records. 31 Returns 0 when the module is properly initialised and the host started registering the hostname. Returns something else went the host failed initialising the module or registering the hostname. \texttt{pico$\_$err} is set appropriately. 41 pico_mdns_init("host.local", address, &mdns_init_callback, NULL); 72 Tries to claim a hostname for this machine. Claims automatically a unique A record with the IPv4-address of this host. The hostname won't be set directly when this functions returns, but only if the claiming of the unique record succeeded. Init-callback specified when initialising the module will be called when the hostname-record is successfully registered. 86 Returns 0 when the host started registering the hostname-record successfully, returns something else when it didn't succeed. \texttt{pico$\_$err} is set appropriately. 120 Returns 0 when the host started registering the record successfully, returns something else when it didn't succeed. \texttt{pico$\_$err} is set appropriately. 158 Returns 0 when the host started querying for these records successfully or the records are found in the cache. Returns something else when it didn't succeed. \texttt{pico$\_$err} is set appropriately. 222 The initialisation-callback can get called multiple times during run-time due to \emph{passive conflict detection}. A passive conflict occurs for unique records when a faulty Multicast DNS-responder doesn't apply conflict resolution after an occurred conflict. A passive conflict can also occur when a peer registers a \textbf{\emph{shared}} record with the same name and type combination as a \textbf{\emph{unique}} record that the local host alread [all...] |
H A D | chap_api_dhcp_d.tex | 19 \item \texttt{uint32\_t pool\_start} - the lowest host number that may be assigned, defaults to 100 if not provided. 20 \item \texttt{uint32\_t pool\_end} - the highest host number that may be assigned, defaults to 254 if not provided.
|
H A D | chap_api_mld.tex | 10 Change the state of the host to Non-listener, Idle listener or Delaying listener.
|
/seL4-camkes-master/projects/lwip/src/apps/http/ |
H A D | altcp_proxyconnect.c | 99 #define PROXY_CONNECT_FORMAT(host, port) PROXY_CONNECT, host, port, ALTCP_PROXYCONNECT_CLIENT_AGENT 103 altcp_proxyconnect_format_request(char *buffer, size_t bufsize, const char *host, int port) argument 105 return snprintf(buffer, bufsize, PROXY_CONNECT_FORMAT(host, port)); 114 char *buffer, *host; local 141 host = ipaddr_ntoa(&state->outer_addr); 142 len2 = altcp_proxyconnect_format_request(buffer, alloc_len, host, state->outer_port);
|
/seL4-camkes-master/projects/lwip/src/include/lwip/ |
H A D | ip_addr.h | 194 #define ip_addr_get_network(target, host, netmask) do{if(IP_IS_V6(host)){ \ 196 ip4_addr_get_network(ip_2_ip4(target), ip_2_ip4(host), ip_2_ip4(netmask)); IP_SET_TYPE(target, IPADDR_TYPE_V4); }}while(0) 297 #define ip_addr_get_network(target, host, mask) ip4_addr_get_network(target, host, mask) 344 #define ip_addr_get_network(target, host, mask) ip6_addr_set_zero(target)
|
/seL4-camkes-master/projects/picotcp/test/unit/ |
H A D | unit_icmp4.c | 11 char host[30]; local 12 pico_ipv4_to_string(host, s->dst.addr); 14 dbg("%lu bytes from %s: icmp_req=%lu ttl=64 time=%lu ms\n", s->size, host, s->seq, s->time); 21 dbg("PING %lu to %s: Error %d\n", s->seq, host, s->err); 263 fail_unless(mock_icmp_code(mock, buffer2, len) == 1); /* host unreachable */ 351 /* put a host unreachable in the queue, run a few stack ticks */
|
/seL4-camkes-master/projects/musllibc/dist/ |
H A D | config.mak | 17 # Uncomment if you want to build i386 musl on a 64-bit host
|