Searched refs:index (Results 151 - 175 of 194) sorted by relevance

12345678

/seL4-camkes-master/projects/projects_libs/libusbdrivers/src/drivers/
H A Dotgusbtty.c115 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 Dvcpu.h120 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 Dcomponent.simple.c395 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 Dmacros.py681 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 Dgdb.c88 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 Dsdhc.c255 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 Dunit_ipv4.c400 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 Dunit_ipv6.c338 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 Dapi_msg.h261 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 Dtest_array.c224 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 Dstats.h476 void stats_display_memp(struct stats_mem *mem, int index);
483 #define stats_display_memp(mem, index)
H A Dip6_addr.h70 #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 Dppp.h493 #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 Dchap_api_dhcp_c.tex151 \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 Dept.c112 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 Dvcpu.c168 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 Dvspace.c140 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 Dbootstrap.c220 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 Delf.c192 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 Delf.c229 size_t index = elf_getSectionStringTableIndex(elf); local
230 return elf_getStringTable(elf, index);
/seL4-camkes-master/kernel/src/machine/
H A Dcapdl.c107 #define REFILL_INDEX(sc, index) (((refill_t *) (SC_REF(sc) + sizeof(sched_context_t)))[index])
/seL4-camkes-master/projects/picotcp/modules/
H A Dpico_dhcp_client.c1047 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 Dwrapper.c384 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 Dcspace.tex130 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 Dcnode.c47 word_t index, w_bits; local
64 index = getSyscallArg(0, buffer);
67 lu_ret = lookupTargetSlot(cap, index, w_bits);

Completed in 238 milliseconds

12345678