Searched refs:entry (Results 1 - 25 of 128) sorted by relevance

123456

/seL4-camkes-master/tools/cogent/impl/fs/bilby/c/
H A Ddebug.c13 void dump_sum_entry( struct obj_sum_entry *entry) argument
16 le64_to_cpu(entry->id), le64_to_cpu(entry->sqnum), le32_to_cpu(entry->len),
17 obj_sum_entry_is_del(entry), obj_sum_entry_offs(entry), le16_to_cpu(entry->count));
/seL4-camkes-master/tools/seL4/elfloader-tool/include/drivers/
H A Dsmp.h15 int (*cpu_on)(struct elfloader_device *smp_dev, struct elfloader_cpu *cpu, void *entry, void *stack);
19 void *entry; member in struct:smp_cpu_data
26 int plat_cpu_on(struct elfloader_cpu *cpu, void *entry, void *stack);
/seL4-camkes-master/projects/seL4_projects_libs/libsel4vm/src/arch/x86/processor/
H A Dcpuid.c187 int t, times = entry->eax & 0xff;
189 entry->flags |= KVM_CPUID_FLAG_STATEFUL_FUNC;
190 entry->flags |= KVM_CPUID_FLAG_STATE_READ_NEXT;
196 do_cpuid_1_ent(&entry[t], function, 0);
197 entry[t].flags |= KVM_CPUID_FLAG_STATEFUL_FUNC;
207 entry->flags |= KVM_CPUID_FLAG_SIGNIFCANT_INDEX;
214 cache_type = entry[i - 1].eax & 0x1f;
218 do_cpuid_1_ent(&entry[i], function, i);
219 entry[i].flags |=
227 entry
[all...]
/seL4-camkes-master/projects/seL4_projects_libs/libsel4vmmplatsupport/arch_include/x86/sel4vmmplatsupport/arch/
H A Dguest_image_arch.h15 uintptr_t entry; member in struct:guest_kernel_image_arch
/seL4-camkes-master/projects/lwip/src/core/
H A Ddns.c143 * like one entry (used/free) */
211 /* DNS table entry states */
219 /** DNS table entry */
241 /** DNS request table entry: used when dns_gehostbyname cannot answer the
407 struct local_hostlist_entry *entry; local
416 entry = (struct local_hostlist_entry *)memp_malloc(MEMP_LOCALHOSTLIST);
417 LWIP_ASSERT("mem-error in dns_init_local", entry != NULL);
418 if (entry != NULL) {
419 char *entry_name = (char *)entry + sizeof(struct local_hostlist_entry);
422 entry
444 struct local_hostlist_entry *entry = local_hostlist_dynamic; local
488 struct local_hostlist_entry *entry = local_hostlist_dynamic; local
529 struct local_hostlist_entry *entry = local_hostlist_dynamic; local
564 struct local_hostlist_entry *entry; local
758 struct dns_table_entry *entry = &dns_table[idx]; local
1050 struct dns_table_entry *entry = &dns_table[i]; local
1139 struct dns_table_entry *entry = &dns_table[idx]; local
1196 struct dns_table_entry *entry = &dns_table[i]; local
1380 struct dns_table_entry *entry = NULL; local
[all...]
/seL4-camkes-master/projects/seL4_libs/libsel4bench/include/sel4bench/
H A Dkernel_logging.h36 /* Returns the key field of a log entry. */
37 static inline seL4_Word kernel_logging_entry_get_key(kernel_log_entry_t *entry) argument
40 return entry->id;
46 /* Sets the key field of a log entry to a given value. */
47 static inline void kernel_logging_entry_set_key(kernel_log_entry_t *entry, seL4_Word key) argument
50 entry->id = key;
54 /* Returns the data field of a log entry. */
55 static inline seL4_Word kernel_logging_entry_get_data(kernel_log_entry_t *entry) argument
58 return entry->duration;
64 /* Sets the data field of a log entry t
65 kernel_logging_entry_set_data(kernel_log_entry_t *entry, seL4_Word data) argument
[all...]
/seL4-camkes-master/projects/seL4_libs/libsel4utils/include/sel4utils/
H A Dbenchmark_track.h36 if (logBuffer[index].entry.path == Entry_Syscall) {
38 } else if (logBuffer[index].entry.path == Entry_Interrupt) {
40 } else if (logBuffer[index].entry.path == Entry_UserLevelFault) {
42 } else if (logBuffer[index].entry.path == Entry_VMFault) {
70 if (logBuffer[index].entry.path == Entry_Syscall) {
73 logBuffer[index].entry.syscall_no,
76 logBuffer[index].entry.cap_type,
77 logBuffer[index].entry.invocation_tag,
78 logBuffer[index].entry.is_fastpath);
99 if (logBuffer[index].entry
[all...]
/seL4-camkes-master/projects/seL4_projects_libs/libsel4vmmplatsupport/src/arch/x86/
H A Dguest_boot_init.c139 int entry = 0; local
140 /* Create an initial entry at 0 that is reserved */
141 e820[entry].addr = 0;
142 e820[entry].size = 0;
143 e820[entry].type = E820_RESERVED;
149 if (e820[entry].addr + e820[entry].size != guest_memory->ram_regions[i].start) {
151 if (e820[entry].size != 0) {
152 entry++;
153 assert(entry < E820MA
[all...]
/seL4-camkes-master/kernel/libsel4/include/sel4/
H A Dmacros.h50 #define SEL4_SIZE_SANITY(index, entry, size) SEL4_COMPILE_ASSERT(index##entry##size, index + entry == size)
/seL4-camkes-master/projects/util_libs/libplatsupport/src/plat/pc99/acpi/
H A Dbrowser.c60 uint32_t* entry = acpi_rsdt_first(rsdt); local
61 while (entry != NULL) {
64 memcpy(sig, (char*)(*entry) + offset, 4);
65 vector[i] = (void*)(*entry);
68 entry = acpi_rsdt_next(rsdt, entry);
78 uint64_t* entry = acpi_xsdt_first(xsdt); local
79 while (entry != NULL) {
82 char* _e = (char*)(uintptr_t)(*entry);
87 entry
[all...]
/seL4-camkes-master/kernel/tools/dts/
H A Dupdate-dts.sh78 for entry in $ARM_DTBS; do
79 extract_dts $entry $destdir arch/arm/boot/dts
82 for entry in $ARM64_DTBS; do
83 extract_dts $entry $destdir arch/arm64/boot/dts
/seL4-camkes-master/projects/seL4_libs/libsel4bench/src/
H A Dlogging.c58 kernel_log_entry_t *entry = &logs[i]; local
59 seL4_Word key = kernel_logging_entry_get_key(entry);
60 seL4_Word data = kernel_logging_entry_get_data(entry);
85 kernel_log_entry_t *entry = &logs[i]; local
86 seL4_Word key = kernel_logging_entry_get_key(entry);
94 kernel_log_entry_t *entry = &logs[i]; local
95 seL4_Word key = kernel_logging_entry_get_key(entry);
/seL4-camkes-master/tools/riscv-pk/bbl/
H A Dbbl.c91 const void* entry; local
93 entry = entry_point;
95 } while (!entry);
108 enter_machine_mode(entry, hartid, dtb_output());
111 enter_supervisor_mode(entry, hartid, dtb_output());
/seL4-camkes-master/tools/seL4/cmake-tool/helpers/
H A Dshoehorn.py75 def get_bytes(entry: libarchive.entry.ArchiveEntry) -> io.BytesIO:
77 Return an io.BytesIO object with the contents of the given archive entry.
80 bytes.extend([byte for block in entry.get_blocks() for byte in block])
147 for entry in archive:
148 name = entry.name
149 debug('encountered CPIO entry name: {}'.format(name))
152 kernel_elf = get_bytes(entry)
156 dtb_size = entry.size
159 notice('skipping checkum entry "{}"'
[all...]
/seL4-camkes-master/tools/seL4/elfloader-tool/src/drivers/smp/
H A Dcommon.c28 int __attribute__((weak)) plat_cpu_on(struct elfloader_cpu *cpu, void *entry, void *stack) argument
43 return dev_get_smp(smp_ops)->cpu_on(smp_ops, cpu, entry, stack);
/seL4-camkes-master/tools/riscv-pk/pk/
H A Dboot.h17 size_t entry; member in struct:__anon798
/seL4-camkes-master/projects/seL4_projects_libs/libsel4vmmplatsupport/src/sel4_arch/aarch64/
H A Dsysreg_exception.c73 sysreg_entry_t *entry = find_sysreg_entry(vcpu, &sysreg_op); local
74 if (!entry) {
77 return entry->handler(vcpu, &entry->sysreg, sysreg_op.params.direction);
/seL4-camkes-master/tools/pruner/
H A Dset.c33 const char *entry; local
34 while (g_hash_table_iter_next(&i, (void**)&entry, NULL))
35 g_hash_table_add(a, (gpointer)entry);
/seL4-camkes-master/projects/util_libs/libethdrivers/src/plat/tx2/uboot/
H A Dmiiphyutil.c42 struct list_head *entry; local
50 list_for_each(entry, &mii_devs) {
51 dev = list_entry(entry, struct mii_dev, link);
146 struct list_head *entry; local
148 list_for_each(entry, &mii_devs) {
150 struct mii_dev *bus = list_entry(entry, struct mii_dev, link);
197 struct list_head *entry; local
200 list_for_each(entry, &mii_devs) {
202 bus = list_entry(entry, struct mii_dev, link);
303 struct list_head *entry; local
[all...]
/seL4-camkes-master/tools/seL4/elfloader-tool/src/arch-arm/drivers/
H A Dsmp-psci.c18 UNUSED struct elfloader_cpu *cpu, UNUSED void *entry, UNUSED void *stack)
25 secondary_data.entry = entry;
17 smp_psci_cpu_on(UNUSED struct elfloader_device *dev, UNUSED struct elfloader_cpu *cpu, UNUSED void *entry, UNUSED void *stack) argument
H A Dsmp-zynq7000.c47 UNUSED struct elfloader_cpu *cpu, UNUSED void *entry, UNUSED void *stack)
52 secondary_data.entry = entry;
46 smp_zynq7000_cpu_on(UNUSED struct elfloader_device *dev, UNUSED struct elfloader_cpu *cpu, UNUSED void *entry, UNUSED void *stack) argument
/seL4-camkes-master/kernel/include/arch/x86/arch/kernel/
H A Dtlb_bitmap.h42 word_t entry = root[TLBBITMAP_ROOT_INDEX + i].words[0];
44 entry >>= 1;
47 bitmap |= entry << shift;
/seL4-camkes-master/projects/picotcp/test/unit/
H A Dunit_arp.c47 struct pico_arp entry; local
53 entry.ipv4 = ip;
56 fail_unless(pico_arp_add_entry(&entry) == 0);
57 entry.arp_status = PICO_ARP_STATUS_STALE;
60 pico_tree_delete(&arp_tree, &entry);
66 struct pico_arp entry; local
67 entry.arp_status = PICO_ARP_STATUS_REACHABLE;
68 entry.timestamp = 0;
70 arp_expire(PICO_ARP_TIMEOUT, &entry);
71 fail_unless(entry
[all...]
/seL4-camkes-master/projects/util_libs/libethdrivers/src/plat/imx6/uboot/
H A Dmiiphyutil.c63 struct list_head *entry; local
71 list_for_each(entry, &mii_devs) {
72 dev = list_entry(entry, struct mii_dev, link);
201 struct list_head *entry; local
203 list_for_each(entry, &mii_devs) {
205 struct mii_dev *bus = list_entry(entry, struct mii_dev, link);
246 struct list_head *entry; local
249 list_for_each(entry, &mii_devs) {
251 bus = list_entry(entry, struct mii_dev, link);
344 struct list_head *entry; local
[all...]
/seL4-camkes-master/projects/util_libs/libethdrivers/src/plat/zynq7000/uboot/
H A Dmiiphyutil.c63 struct list_head *entry; local
71 list_for_each(entry, &mii_devs) {
72 dev = list_entry(entry, struct mii_dev, link);
201 struct list_head *entry; local
203 list_for_each(entry, &mii_devs) {
205 struct mii_dev *bus = list_entry(entry, struct mii_dev, link);
246 struct list_head *entry; local
249 list_for_each(entry, &mii_devs) {
251 bus = list_entry(entry, struct mii_dev, link);
344 struct list_head *entry; local
[all...]

Completed in 212 milliseconds

123456