/seL4-refos-master/libs/libplatsupport/src/arch/arm/ |
H A D | i2c_bitbang.c | 197 i2c_bb_start_read(i2c_slave_t *sl, argument 207 assert(sl != NULL && sl->bus != NULL); 209 d = i2c_bus_get_priv(sl->bus); 212 nak = i2c_bb_sendbyte(d, sl->address | 1); 224 cb(sl->bus, I2CSTAT_COMPLETE, size, token); 230 i2c_bb_start_write(i2c_slave_t *sl, argument 240 assert(sl != NULL && sl->bus != NULL); 242 d = i2c_bus_get_priv(sl 312 i2c_bb_slave_init(i2c_bus_t* i2c_bus, int address, enum i2c_slave_address_size address_size, enum i2c_slave_speed max_speed, uint32_t flags, i2c_slave_t* sl) argument [all...] |
H A D | i2c.c | 271 i2c_slave_t sl; local 292 memset(&sl, 0, sizeof(sl)); 295 0, &sl); 302 ret = i2c_slave_read(&sl, &dummy, 10, false, NULL, NULL);
|
/seL4-refos-master/projects/util_libs/libplatsupport/src/arch/arm/ |
H A D | i2c_bitbang.c | 197 i2c_bb_start_read(i2c_slave_t *sl, argument 207 assert(sl != NULL && sl->bus != NULL); 209 d = i2c_bus_get_priv(sl->bus); 212 nak = i2c_bb_sendbyte(d, sl->address | 1); 224 cb(sl->bus, I2CSTAT_COMPLETE, size, token); 230 i2c_bb_start_write(i2c_slave_t *sl, argument 240 assert(sl != NULL && sl->bus != NULL); 242 d = i2c_bus_get_priv(sl 312 i2c_bb_slave_init(i2c_bus_t* i2c_bus, int address, enum i2c_slave_address_size address_size, enum i2c_slave_speed max_speed, uint32_t flags, i2c_slave_t* sl) argument [all...] |
H A D | i2c.c | 271 i2c_slave_t sl; local 292 memset(&sl, 0, sizeof(sl)); 295 0, &sl); 302 ret = i2c_slave_read(&sl, &dummy, 10, false, NULL, NULL);
|
/seL4-refos-master/libs/libplatsupport/src/plat/imx6/ |
H A D | i2c.c | 363 imx6_i2c_start_write(i2c_slave_t* sl, argument 370 assert(sl != NULL && sl->bus != NULL); 372 dev = i2c_bus_get_priv(sl->bus); 373 ZF_LOGD("Writing %d bytes to slave@0x%02x", len, sl->address); 374 master_txstart(dev, sl->address); 385 i2c_handle_irq(sl->bus); 394 imx6_i2c_start_read(i2c_slave_t* sl, argument 401 assert(sl != NULL && sl 469 imx6_i2c_slave_init(i2c_bus_t* i2c_bus, int address, enum i2c_slave_address_size address_size, enum i2c_slave_speed max_speed, uint32_t flags, i2c_slave_t* sl) argument [all...] |
/seL4-refos-master/projects/util_libs/libplatsupport/src/plat/imx6/ |
H A D | i2c.c | 363 imx6_i2c_start_write(i2c_slave_t* sl, argument 370 assert(sl != NULL && sl->bus != NULL); 372 dev = i2c_bus_get_priv(sl->bus); 373 ZF_LOGD("Writing %d bytes to slave@0x%02x", len, sl->address); 374 master_txstart(dev, sl->address); 385 i2c_handle_irq(sl->bus); 394 imx6_i2c_start_read(i2c_slave_t* sl, argument 401 assert(sl != NULL && sl 469 imx6_i2c_slave_init(i2c_bus_t* i2c_bus, int address, enum i2c_slave_address_size address_size, enum i2c_slave_speed max_speed, uint32_t flags, i2c_slave_t* sl) argument [all...] |
/seL4-refos-master/libs/libplatsupport/src/mach/exynos/ |
H A D | i2c.c | 321 exynos_i2c_start_read(i2c_slave_t* sl, void* vdata, size_t len, argument 327 assert(sl != NULL && sl->bus != NULL); 329 dev = i2c_bus_get_priv(sl->bus); 330 ZF_LOGD("Reading %d bytes from slave@0x%02x", len, sl->address); 331 master_rxstart(dev, sl->address); 337 sl->bus->cb = cb; 338 sl->bus->token = token; 343 i2c_handle_irq(sl->bus); 354 exynos_i2c_start_write(i2c_slave_t* sl, cons argument 579 exynos_i2c_slave_init(i2c_bus_t* i2c_bus, int address, enum i2c_slave_address_size address_size, enum i2c_slave_speed max_speed, uint32_t flags, i2c_slave_t* sl) argument [all...] |
/seL4-refos-master/projects/util_libs/libplatsupport/src/mach/exynos/ |
H A D | i2c.c | 321 exynos_i2c_start_read(i2c_slave_t* sl, void* vdata, size_t len, argument 327 assert(sl != NULL && sl->bus != NULL); 329 dev = i2c_bus_get_priv(sl->bus); 330 ZF_LOGD("Reading %d bytes from slave@0x%02x", len, sl->address); 331 master_rxstart(dev, sl->address); 337 sl->bus->cb = cb; 338 sl->bus->token = token; 343 i2c_handle_irq(sl->bus); 354 exynos_i2c_start_write(i2c_slave_t* sl, cons argument 579 exynos_i2c_slave_init(i2c_bus_t* i2c_bus, int address, enum i2c_slave_address_size address_size, enum i2c_slave_speed max_speed, uint32_t flags, i2c_slave_t* sl) argument [all...] |
/seL4-refos-master/projects/refos/impl/apps/nethack/src/nethack-3.4.3/sys/share/ |
H A D | uudecode.c | 125 char *sl; 130 sl = index(dest, '/'); 131 if (sl == NULL) { 135 *sl++ = 0; 143 strcat(dnbuf, sl);
|
/seL4-refos-master/apps/nethack/src/nethack-3.4.3/sys/share/ |
H A D | uudecode.c | 125 char *sl; 130 sl = index(dest, '/'); 131 if (sl == NULL) { 135 *sl++ = 0; 143 strcat(dnbuf, sl);
|
/seL4-refos-master/libs/libmuslc/src/network/ |
H A D | res_msend.c | 40 socklen_t sl = sizeof sa.sin; local 62 sl = sizeof sa.sin6; 79 if (fd < 0 || bind(fd, (void *)&sa, sl) < 0) return -1; 120 (void *)&ns[j], sl); 129 (void *)&sa, (socklen_t[1]){sl})) >= 0) { 135 for (j=0; j<nns && memcmp(ns+j, &sa, sl); j++); 156 (void *)&ns[j], sl);
|
H A D | gethostbyaddr_r.c | 18 socklen_t sl = af==AF_INET6 ? sizeof sa.sin6 : sizeof sa.sin; local 50 switch (getnameinfo((void *)&sa, sl, buf, buflen, 0, 0, 0)) {
|
H A D | getnameinfo.c | 124 int getnameinfo(const struct sockaddr *restrict sa, socklen_t sl, argument 138 if (sl < sizeof(struct sockaddr_in)) return EAI_FAMILY; 144 if (sl < sizeof(struct sockaddr_in6)) return EAI_FAMILY;
|
/seL4-refos-master/kernel/manual/ |
H A D | manual.tex | 33 \lhead[\fancyplain{}{\sl\thepage}]{\fancyplain{}{\sl\rightmark}} 35 \rhead[\fancyplain{}{\sl\leftmark}]{\fancyplain{}{\sl\thepage}} 36 \lfoot[\fancyplain{\sl\thepage}{}]{} 38 \rfoot[]{\fancyplain{\sl\thepage}{}}
|
/seL4-refos-master/libs/libplatsupport/src/plat/tk1/ |
H A D | i2c.c | 700 tk1_i2c_prepare_mmode_xfer_headers(i2c_slave_t *sl, size_t nbytes, argument 707 assert(sl != NULL); 708 assert(sl->bus != NULL); 711 state = tk1_i2c_get_state(sl->bus); 738 if (sl->address_size == I2C_SLAVE_ADDR_10BIT) { 740 headers.i2c |= (sl->address & TK1I2C_I2CPKT_SLAVE_ADDR_10BIT_MASK) 748 headers.i2c |= (sl->address & TK1I2C_I2CPKT_SLAVE_ADDR_7BIT_MASK) 752 if (sl->max_speed == I2C_SLAVE_SPEED_HIGHSPEED) { 762 if (sl->i2c_opts & I2C_SLAVE_OPTS_DEVICE_DOES_NOT_ACK) { 767 if (sl 1073 tk1_i2c_mmode_xfer(i2c_slave_t *sl, void *data, size_t nbytes, bool is_write) argument 1236 tk1_i2c_slave_init(i2c_bus_t* ib, int address, enum i2c_slave_address_size address_size, enum i2c_slave_speed max_speed, uint32_t flags, i2c_slave_t* sl) argument [all...] |
/seL4-refos-master/projects/util_libs/libplatsupport/src/plat/tk1/ |
H A D | i2c.c | 700 tk1_i2c_prepare_mmode_xfer_headers(i2c_slave_t *sl, size_t nbytes, argument 707 assert(sl != NULL); 708 assert(sl->bus != NULL); 711 state = tk1_i2c_get_state(sl->bus); 738 if (sl->address_size == I2C_SLAVE_ADDR_10BIT) { 740 headers.i2c |= (sl->address & TK1I2C_I2CPKT_SLAVE_ADDR_10BIT_MASK) 748 headers.i2c |= (sl->address & TK1I2C_I2CPKT_SLAVE_ADDR_7BIT_MASK) 752 if (sl->max_speed == I2C_SLAVE_SPEED_HIGHSPEED) { 762 if (sl->i2c_opts & I2C_SLAVE_OPTS_DEVICE_DOES_NOT_ACK) { 767 if (sl 1073 tk1_i2c_mmode_xfer(i2c_slave_t *sl, void *data, size_t nbytes, bool is_write) argument 1236 tk1_i2c_slave_init(i2c_bus_t* ib, int address, enum i2c_slave_address_size address_size, enum i2c_slave_speed max_speed, uint32_t flags, i2c_slave_t* sl) argument [all...] |
/seL4-refos-master/libs/libmuslc/src/setjmp/arm/ |
H A D | longjmp.s | 11 ldmia ip!, {v1,v2,v3,v4,v5,v6,sl,fp}
|
H A D | setjmp.s | 12 stmia ip!,{v1,v2,v3,v4,v5,v6,sl,fp}
|
/seL4-refos-master/libs/libmuslc/src/setjmp/arm_sel4/ |
H A D | longjmp.s | 11 ldmia ip!, {v1,v2,v3,v4,v5,v6,sl,fp}
|
H A D | setjmp.s | 12 stmia ip!,{v1,v2,v3,v4,v5,v6,sl,fp}
|
/seL4-refos-master/projects/refos/design/ |
H A D | paper.tex | 74 \lhead[\fancyplain{}{\sl\thepage}]{\fancyplain{}{\sl\rightmark}} 76 \rhead[\fancyplain{}{\sl\leftmark}]{\fancyplain{}{\sl\thepage}} 77 \lfoot[\fancyplain{\sl\thepage}{}]{} 79 \rfoot[]{\fancyplain{\sl\thepage}{}}
|