Searched refs:host (Results 1 - 25 of 51) sorted by relevance

123

/seL4-camkes-master/projects/projects_libs/libsdhcdrivers/src/
H A Dsdhc.c194 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 Dping.c12 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 Dslaacv4.c8 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 Ddhcp_client.c18 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 Dusb.c108 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 Dehci-pci.c139 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 Dehci-exynos5.c226 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 Dmodule.c75 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 Dppp.c113 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 Dbuildtests.sh62 ./configure --host=${TOOLTUPLE}
/seL4-camkes-master/projects/projects_libs/libusbdrivers/include/usb/
H A Dusb.h20 // 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 Dusb_host.h57 /* 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 Dgetaddrinfo.c8 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 Dlookup_name.c17 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 Dehci-imx6.c315 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 Dchap_api_ipv6.tex8 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 Dchap_api_ipv4.tex8 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 Dchap_api_dns_c.tex50 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 Dchap_api_mdns.tex4 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 Dchap_api_dhcp_d.tex19 \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 Dchap_api_mld.tex10 Change the state of the host to Non-listener, Idle listener or Delaying listener.
/seL4-camkes-master/projects/lwip/src/apps/http/
H A Daltcp_proxyconnect.c99 #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 Dip_addr.h194 #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 Dunit_icmp4.c11 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 Dconfig.mak17 # Uncomment if you want to build i386 musl on a 64-bit host

Completed in 113 milliseconds

123