/seL4-camkes-master/projects/projects_libs/libusbdrivers/src/drivers/ |
H A D | otgusbtty.c | 115 send_desc(otg_usbtty_t tty, enum DescriptorType type, int index, argument 119 /* Not handling index yet... */ 120 if (index != 0) {
|
/seL4-camkes-master/kernel/include/arch/arm/arch/object/ |
H A D | vcpu.h | 120 void handleVCPUInjectInterruptIPI(vcpu_t *vcpu, unsigned long index, virq_t virq); 131 exception_t invokeVCPUInjectIRQ(vcpu_t *vcpu, unsigned long index, virq_t virq); 140 fail("ARM/HYP: Invalid register index or NULL VCPU"); 156 fail("ARM/HYP: Invalid register index or NULL VCPU"); 172 fail("ARM/HYP: Invalid register index or NULL VCPU"); 181 fail("ARM/HYP: Invalid register index or NULL VCPU");
|
/seL4-camkes-master/projects/camkes-tool/camkes/templates/ |
H A D | component.simple.c | 395 static seL4_Error simple_camkes_get_irq(void *data, int irq, seL4_CNode cnode, seL4_Word index, uint8_t depth) { argument 400 return seL4_CNode_Copy(cnode, index, depth, /*? self_cnode ?*/, /*? cap ?*/, CONFIG_WORD_SIZE, seL4_AllRights);
|
H A D | macros.py | 681 for index, c in enumerate(connections): 682 if ids[index] is None: 685 ids[index] = current_id 689 return ids[connections.index(end)]
|
/seL4-camkes-master/projects/camkes-tool/libsel4camkes/src/sel4_arch/ia32/gdb_server/ |
H A D | gdb.c | 88 size_t index = -1; local 90 index = gdb_to_seL4_register_index[gdb_register]; 92 if (index != -1) { 93 /* Turn byte offset into index */ 94 index /= sizeof(seL4_Word); 96 return index;
|
/seL4-camkes-master/projects/projects_libs/libsdhcdrivers/src/ |
H A D | sdhc.c | 255 ZF_LOGD("CMD: %d with arg %x ", cmd->index, cmd->arg); 275 if (cmd->index == MMC_READ_SINGLE_BLOCK) { 287 if (cmd->index == MMC_READ_SINGLE_BLOCK) { 303 val = (cmd->index & CMD_XFR_TYP_CMDINX_MASK) << CMD_XFR_TYP_CMDINX_SHF; 410 ZF_LOGE("Command index error"); 460 if (cmd->index == MMC_STOP_TRANSMISSION) {
|
/seL4-camkes-master/projects/picotcp/test/unit/ |
H A D | unit_ipv4.c | 400 struct pico_tree_node *index = NULL; local 686 pico_tree_foreach(index, &MCASTFilter) 691 source = index->keyValue; 717 pico_tree_foreach(index, &MCASTFilter) 722 source = index->keyValue; 750 pico_tree_foreach(index, &MCASTFilter) 755 source = index->keyValue; 791 pico_tree_foreach(index, &MCASTFilter) 796 source = index->keyValue;
|
H A D | unit_ipv6.c | 338 struct pico_tree_node *index = NULL; local 623 pico_tree_foreach(index, &MCASTFilter) 628 source = index->keyValue; 656 pico_tree_foreach(index, &MCASTFilter) 661 source = index->keyValue; 690 pico_tree_foreach(index, &MCASTFilter) 695 source = index->keyValue; 731 pico_tree_foreach(index, &MCASTFilter) 736 source = index->keyValue;
|
/seL4-camkes-master/projects/lwip/src/include/lwip/priv/ |
H A D | api_msg.h | 261 u8_t index; member in struct:netifapi_msg::__anon38::__anon41
|
/seL4-camkes-master/projects/projects_libs/libjansson/jansson-2.7/test/suites/api/ |
H A D | test_array.c | 224 fail("able to remove an unexisting index"); 231 fail("able to remove an unexisting index"); 405 size_t index; local 411 json_array_foreach(array1, index, value) {
|
/seL4-camkes-master/projects/lwip/src/include/lwip/ |
H A D | stats.h | 476 void stats_display_memp(struct stats_mem *mem, int index); 483 #define stats_display_memp(mem, index)
|
H A D | ip6_addr.h | 70 #define IP6_ADDR_PART(ip6addr, index, a,b,c,d) \ 71 (ip6addr)->addr[index] = PP_HTONL(LWIP_MAKEU32(a,b,c,d))
|
/seL4-camkes-master/projects/lwip/src/include/netif/ppp/ |
H A D | ppp.h | 493 #define ppp_set_ipcp_dnsaddr(ppp, index, addr) (ppp->ipcp_allowoptions.dnsaddr[index] = ip4_addr_get_u32(addr))
|
/seL4-camkes-master/projects/picotcp/docs/user_manual/ |
H A D | chap_api_dhcp_c.tex | 151 \texttt{struct pico\_ip4 pico\_dhcp\_get\_nameserver(void *cli, int index);} 156 \item \texttt{index} - the indes of the domain name server received. Can be either "0" or "1". 161 \item \texttt{struct pico\_ip4} - the address of the nameserver that should be used. On failure, e.g. an invalid index was passed, it returns "255.255.255.255". If the IP address of the DNS has not been set, it may return INADDR\_ANY.
|
/seL4-camkes-master/kernel/src/arch/x86/kernel/ |
H A D | ept.c | 112 uint32_t index = GET_EPT_PDPT_INDEX(vptr); local 113 ret.pdptSlot = pdpt + index; 142 uint32_t index = GET_EPT_PD_INDEX(vptr); local 143 ret.pdSlot = pd + index; 173 uint32_t index = GET_EPT_PT_INDEX(vptr); local 175 ret.ptSlot = pt + index;
|
/seL4-camkes-master/kernel/src/arch/x86/object/ |
H A D | vcpu.c | 168 int index = seL4_WordBits - 1 - clzl(bits); local 170 printf("%d", index); 173 printf(",%d", index); 175 bits &= ~BIT(index); 976 int index = bit / (sizeof(word_t) * 8); local 978 bitmap[index] &= ~BIT(offset);
|
/seL4-camkes-master/kernel/src/arch/riscv/kernel/ |
H A D | vspace.c | 140 word_t index = 0; local 149 kernel_image_level2_pt[index] = pte_next(paddr, true); 150 index++; 943 word_t index; local 965 index = getSyscallArg(0, buffer); 999 lu_ret = lookupTargetSlot(root, index, depth);
|
/seL4-camkes-master/projects/seL4_libs/libsel4allocman/src/ |
H A D | bootstrap.c | 220 size_t index = i - bi->untyped.start; local 222 size_t size_bits = bi->untypedList[index].sizeBits; 223 uintptr_t paddr = bi->untypedList[index].paddr; 224 error = _add_ut(bs, slot, size_bits, paddr, bi->untypedList[index].isDevice); 1231 size_t index = i - bi->untyped.start; local 1236 size_bits = bi->untypedList[index].sizeBits; 1237 paddr = bi->untypedList[index].paddr; 1238 error = allocman_utspace_add_uts(alloc, 1, &slot, &size_bits, &paddr, bi->untypedList[index].isDevice ? ALLOCMAN_UT_DEV : ALLOCMAN_UT_KERNEL);
|
/seL4-camkes-master/projects/seL4_libs/libsel4utils/src/ |
H A D | elf.c | 192 static bool is_loadable_section(elf_t *elf_file, int index) argument 194 return elf_getProgramHeaderType(elf_file, index) == PT_LOAD;
|
/seL4-camkes-master/projects/util_libs/libelf/src/ |
H A D | elf.c | 229 size_t index = elf_getSectionStringTableIndex(elf); local 230 return elf_getStringTable(elf, index);
|
/seL4-camkes-master/kernel/src/machine/ |
H A D | capdl.c | 107 #define REFILL_INDEX(sc, index) (((refill_t *) (SC_REF(sc) + sizeof(sched_context_t)))[index])
|
/seL4-camkes-master/projects/picotcp/modules/ |
H A D | pico_dhcp_client.c | 1047 struct pico_ip4 pico_dhcp_get_nameserver(void*dhcpc, int index) argument 1052 if ((index != 0) && (index != 1)) 1055 return ((struct pico_dhcp_client_cookie*)dhcpc)->nameserver[index];
|
/seL4-camkes-master/tools/cogent/impl/fs/bilby/c/os/linux/ |
H A D | wrapper.c | 384 err = fsop_readpage(bi, inode, page->index, addr); 544 loff_t pos = page->index << PAGE_SHIFT; 551 if (page->index > end_index || (page->index == end_index && !len)) { 556 if (page->index != end_index)
|
/seL4-camkes-master/kernel/manual/parts/ |
H A D | cspace.tex | 130 index into the \obj{CNode} at which the first capability will be placed. 345 index into the \obj{CNode} to which the \obj{CNode} capability 436 It also has a 4-bit guard of 0x0 and Cap B resides at index 441 CNode is reached via the L3 CNode Cap, which resides at index 0x00 443 index 0x60. Hence, its address is 0x00F00060. Translation of this 457 \item[L3 CNode Cap.] This capability resides at index 0x00 of the
|
/seL4-camkes-master/kernel/src/object/ |
H A D | cnode.c | 47 word_t index, w_bits; local 64 index = getSyscallArg(0, buffer); 67 lu_ret = lookupTargetSlot(cap, index, w_bits);
|