/seL4-camkes-master/tools/cogent/impl/fs/bilby/c/ |
H A D | debug.c | 13 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 D | smp.h | 15 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 D | cpuid.c | 187 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 D | guest_image_arch.h | 15 uintptr_t entry; member in struct:guest_kernel_image_arch
|
/seL4-camkes-master/projects/lwip/src/core/ |
H A D | dns.c | 143 * 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 D | kernel_logging.h | 36 /* 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 D | benchmark_track.h | 36 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 D | guest_boot_init.c | 139 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 D | macros.h | 50 #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 D | browser.c | 60 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 D | update-dts.sh | 78 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 D | logging.c | 58 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 D | bbl.c | 91 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 D | shoehorn.py | 75 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 D | common.c | 28 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 D | boot.h | 17 size_t entry; member in struct:__anon798
|
/seL4-camkes-master/projects/seL4_projects_libs/libsel4vmmplatsupport/src/sel4_arch/aarch64/ |
H A D | sysreg_exception.c | 73 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 D | set.c | 33 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 D | miiphyutil.c | 42 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 D | smp-psci.c | 18 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 D | smp-zynq7000.c | 47 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 D | tlb_bitmap.h | 42 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 D | unit_arp.c | 47 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 D | miiphyutil.c | 63 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 D | miiphyutil.c | 63 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...] |