/seL4-refos-master/projects/refos/impl/apps/process_server/src/test/ |
H A D | test_memserv.c | 229 int ram_dspace_read_page(char *buf, size_t len, struct ram_dspace *dataspace, uint32_t offset); 230 int ram_dspace_write_page(char *buf, size_t len, struct ram_dspace *dataspace, uint32_t offset); 245 int (*dsRead)(char *buf, size_t len, struct ram_dspace *dataspace, uint32_t offset) = NULL; 246 int (*dsWrite)(char *buf, size_t len, struct ram_dspace *dataspace, uint32_t offset) = NULL;
|
/seL4-refos-master/apps/nethack/src/nethack-3.4.3/include/ |
H A D | sp_lev.h | 36 int len; member in union:str_or_len
|
/seL4-refos-master/apps/nethack/src/nethack-3.4.3/src/ |
H A D | mondata.c | 420 int len, slen; local 489 for (len = 0, i = LOW_PM; i < NUMMONS; i++) { 491 if (m_i_len > len && !strncmpi(mons[i].mname, str, m_i_len)) { 504 len = m_i_len;
|
H A D | files.c | 1707 int len; local 1807 if ((len = str2role(bufp)) >= 0) 1808 flags.initrole = len; 1818 len = get_uchars(fp, buf, bufp, translate, FALSE, 1820 assign_graphics(translate, len, MAXPCHARS, 0); 1822 len = get_uchars(fp, buf, bufp, translate, FALSE, 1824 assign_graphics(translate, len, MAXDCHARS, 0); 1826 len = get_uchars(fp, buf, bufp, translate, FALSE, 1828 assign_graphics(translate, len, MAXTCHARS, MAXDCHARS); 1830 len [all...] |
H A D | weapon.c | 855 int pass, i, n, len, longest, local 874 if ((len = strlen(P_NAME(i))) > longest) 875 longest = len;
|
/seL4-refos-master/apps/process_server/src/test/ |
H A D | test_memserv.c | 229 int ram_dspace_read_page(char *buf, size_t len, struct ram_dspace *dataspace, uint32_t offset); 230 int ram_dspace_write_page(char *buf, size_t len, struct ram_dspace *dataspace, uint32_t offset); 245 int (*dsRead)(char *buf, size_t len, struct ram_dspace *dataspace, uint32_t offset) = NULL; 246 int (*dsWrite)(char *buf, size_t len, struct ram_dspace *dataspace, uint32_t offset) = NULL;
|
/seL4-refos-master/libs/libmuslc/include/netinet/ |
H A D | ip.h | 13 uint8_t len; member in struct:timestamp
|
/seL4-refos-master/kernel/manual/tools/ |
H A D | parse_doxygen_xml.py | 86 if len(ref_dict) > 0: 92 if len(ref_dict) > 0: 167 if len(params) == 0: 528 if len(elements) == 0 and output == "":
|
/seL4-refos-master/kernel/tools/hardware/ |
H A D | irq.py | 86 while len(nexus_data) > 0:
|
/seL4-refos-master/kernel/tools/hardware/utils/ |
H A D | memory.py | 47 while len(reserved) > 0:
|
/seL4-refos-master/seL4_tools/cmake-tool/helpers/ |
H A D | shoehorn.py | 165 last_region = len(platform['memory'])
|
/seL4-refos-master/projects/util_libs/libethdrivers/src/plat/zynq7000/ |
H A D | zynq7000.c | 215 unsigned int len = status & ZYNQ_GEM_RXBUF_LEN_MASK; local 222 eth_driver->i_cb.rx_complete(eth_driver->cb_cookie, 1, &cookie, &len); 319 static int raw_tx(struct eth_driver *driver, unsigned int num, uintptr_t *phys, unsigned int *len, void *cookie) argument 341 dev->tx_ring[ring].status |= (len[i] & ZYNQ_GEM_TXBUF_FRMLEN_MASK);
|
/seL4-refos-master/projects/refos/impl/apps/nethack/src/nethack-3.4.3/src/ |
H A D | files.c | 1707 int len; local 1807 if ((len = str2role(bufp)) >= 0) 1808 flags.initrole = len; 1818 len = get_uchars(fp, buf, bufp, translate, FALSE, 1820 assign_graphics(translate, len, MAXPCHARS, 0); 1822 len = get_uchars(fp, buf, bufp, translate, FALSE, 1824 assign_graphics(translate, len, MAXDCHARS, 0); 1826 len = get_uchars(fp, buf, bufp, translate, FALSE, 1828 assign_graphics(translate, len, MAXTCHARS, MAXDCHARS); 1830 len [all...] |
H A D | weapon.c | 855 int pass, i, n, len, longest, local 874 if ((len = strlen(P_NAME(i))) > longest) 875 longest = len;
|
/seL4-refos-master/kernel/src/arch/riscv/kernel/ |
H A D | boot.c | 279 header.len = extra_bi_size; 290 header.len = (extra_bi_size - extra_bi_offset);
|
/seL4-refos-master/projects/refos/impl/apps/nethack/src/nethack-3.4.3/win/tty/ |
H A D | termcap.c | 910 int len; local 919 len = strlen(str) - 1; /* length excluding attrib suffix */ 921 (len - c) < 1 || str[len] != 'm') 924 while (c < len) {
|
/seL4-refos-master/apps/nethack/src/nethack-3.4.3/win/tty/ |
H A D | termcap.c | 910 int len; local 919 len = strlen(str) - 1; /* length excluding attrib suffix */ 921 (len - c) < 1 || str[len] != 'm') 924 while (c < len) {
|
/seL4-refos-master/projects/util_libs/libethdrivers/src/plat/pc99/ |
H A D | intel.c | 823 unsigned int len[count]; local 826 len[j] = dev->rx_ring[(dev->rdh + j) % dev->rx_size].length; 832 driver->i_cb.rx_complete(driver->cb_cookie, count, cookies, len); 860 static int raw_tx(struct eth_driver *driver, unsigned int num, uintptr_t *phys, unsigned int *len, void *cookie) argument 878 .length = len[i],
|
/seL4-refos-master/kernel/src/api/ |
H A D | syscall.c | 111 word_t len; local 127 len = strnlen(name, seL4_MsgMaxLength * sizeof(word_t)); 128 if (len == seL4_MsgMaxLength * sizeof(word_t)) {
|
/seL4-refos-master/kernel/src/arch/arm/kernel/ |
H A D | boot.c | 407 header.len = sizeof(header) + dtb_reg.end - dtb_reg.start; 418 header.len = (extra_bi_size - extra_bi_offset);
|
/seL4-refos-master/projects/refos/impl/ |
H A D | cidl_compile | 117 if len(alist) <= 0:
|
/seL4-refos-master/ |
H A D | cidl_compile | 117 if len(alist) <= 0:
|
/seL4-refos-master/libs/libmuslc/src/network/ |
H A D | getnameinfo.c | 114 static int dns_parse_callback(void *c, int rr, const void *data, int len, const void *packet) argument
|
/seL4-refos-master/projects/refos/impl/apps/nethack/src/nethack-3.4.3/sys/share/ |
H A D | dgn_yacc.c | 57 # define memset(addr,val,len) setmem(addr,len,val)
|
/seL4-refos-master/apps/nethack/src/nethack-3.4.3/sys/share/ |
H A D | dgn_yacc.c | 57 # define memset(addr,val,len) setmem(addr,len,val)
|