Home
last modified time | relevance | path

Searched defs:i (Results 1 – 25 of 66) sorted by relevance

123

/seL4-master/libsel4/include/sel4/
A Dfunctions.h46 LIBSEL4_INLINE_FUNC seL4_Word seL4_GetMR(int i) in seL4_GetMR()
51 LIBSEL4_INLINE_FUNC void seL4_SetMR(int i, seL4_Word mr) in seL4_SetMR()
66 LIBSEL4_INLINE_FUNC seL4_Word seL4_GetBadge(int i) in seL4_GetBadge()
71 LIBSEL4_INLINE_FUNC seL4_CPtr seL4_GetCap(int i) in seL4_GetCap()
76 LIBSEL4_INLINE_FUNC void seL4_SetCap(int i, seL4_CPtr cptr) in seL4_SetCap()
/seL4-master/src/arch/arm/64/machine/
A Dcapdl.c182 for (word_t i = 0; i < BIT(PT_INDEX_OFFSET + PT_INDEX_BITS); i += (1 << PT_INDEX_OFFSET)) { in arm64_cap_pt_print_slots() local
199 for (word_t i = 0; i < BIT(PD_INDEX_OFFSET + PD_INDEX_BITS); i += (1 << PD_INDEX_OFFSET)) { in arm64_cap_pd_print_slots() local
217 for (word_t i = 0; i < BIT(PD_INDEX_OFFSET + PD_INDEX_BITS); i += (1 << PD_INDEX_OFFSET)) { in arm64_cap_pd_print_slots() local
235 for (word_t i = 0; i < BIT(PUD_INDEX_OFFSET + UPUD_INDEX_BITS); i += (1 << PUD_INDEX_OFFSET)) { in arm64_cap_pud_print_slots() local
244 for (word_t i = 0; i < BIT(PUD_INDEX_OFFSET + UPUD_INDEX_BITS); i += (1 << PUD_INDEX_OFFSET)) { in arm64_cap_pud_print_slots() local
266 … for (word_t i = 0; i < BIT(PGD_INDEX_OFFSET + PGD_INDEX_BITS); i += (1UL << PGD_INDEX_OFFSET)) { in obj_vtable_print_slots() local
274 … for (word_t i = 0; i < BIT(PGD_INDEX_OFFSET + PGD_INDEX_BITS); i += (1UL << PGD_INDEX_OFFSET)) { in obj_vtable_print_slots() local
453 for (word_t i = 0; i < BIT(PT_INDEX_OFFSET + PT_INDEX_BITS); i += (1 << PT_INDEX_OFFSET)) { in arm64_obj_pt_print_slots() local
470 for (word_t i = 0; i < BIT(PD_INDEX_OFFSET + PD_INDEX_BITS); i += (1 << PD_INDEX_OFFSET)) { in arm64_obj_pd_print_slots() local
493 for (word_t i = 0; i < BIT(PUD_INDEX_OFFSET + UPUD_INDEX_BITS); i += (1 << PUD_INDEX_OFFSET)) { in arm64_obj_pud_print_slots() local
[all …]
/seL4-master/include/64/mode/api/
A Dipc_buffer.h12 static inline time_t mode_parseTimeArg(word_t i, word_t *buffer) in mode_parseTimeArg()
17 static inline word_t mode_setTimeArg(word_t i, time_t time, word_t *buffer, tcb_t *thread) in mode_setTimeArg()
/seL4-master/include/32/mode/api/
A Dipc_buffer.h13 static inline time_t mode_parseTimeArg(word_t i, word_t *buffer) in mode_parseTimeArg()
18 static inline word_t mode_setTimeArg(word_t i, time_t time, word_t *buffer, tcb_t *thread) in mode_setTimeArg()
/seL4-master/src/machine/
A Dprofiler.c44 word_t i; in profiler_reset() local
55 unsigned int samples, i, count; in profiler_list() local
89 for (word_t i = 0; i < MAX_UNIQUE_INSTRUCTIONS; i++) { in profiler_reset() local
109 for (word_t i = 0; i < MAX_UNIQUE_INSTRUCTIONS; i++) { in profiler_list() local
A Dcapdl.c46 for (int i = 0; i < watermark; i++) { in seen() local
180 for (uint32_t i = 0; i < (1 << radix); i++) { in obj_tcb_print_cnodes() local
307 for (uint32_t i = 0; i < (1 << radix); i++) { in obj_cnode_print_slots() local
316 for (uint32_t i = 0; i < (1 << radix); i++) { in obj_cnode_print_slots() local
330 for (unsigned i = 0; i <= maxIRQ; i++) { in obj_irq_print_maps() local
/seL4-master/src/arch/x86/64/machine/
A Dcapdl.c105 for (word_t i = 0; i < BIT(PT_INDEX_OFFSET + PT_INDEX_BITS); i += (1UL << PT_INDEX_OFFSET)) { in x86_64_obj_pt_print_slots() local
123 for (word_t i = 0; i < BIT(PD_INDEX_OFFSET + PD_INDEX_BITS); i += (1UL << PD_INDEX_OFFSET)) { in x86_64_obj_pd_print_slots() local
146 …for (word_t i = 0; i < BIT(PDPT_INDEX_OFFSET + PDPT_INDEX_BITS); i += (1UL << PDPT_INDEX_OFFSET)) { in x86_64_obj_pdpt_print_slots() local
166 …for (word_t i = 0; i < BIT(PML4_INDEX_OFFSET + PML4_INDEX_BITS); i += (1UL << PML4_INDEX_OFFSET)) { in x86_64_obj_pml4_print_slots() local
386 for (word_t i = 0; i < BIT(PT_INDEX_OFFSET + PT_INDEX_BITS); i += (1UL << PT_INDEX_OFFSET)) { in x86_64_cap_pt_print_slots() local
402 for (word_t i = 0; i < BIT(PD_INDEX_OFFSET + PD_INDEX_BITS); i += (1UL << PD_INDEX_OFFSET)) { in x86_64_cap_pd_print_slots() local
415 for (word_t i = 0; i < BIT(PD_INDEX_OFFSET + PD_INDEX_BITS); i += (1UL << PD_INDEX_OFFSET)) { in x86_64_cap_pd_print_slots() local
428 …for (word_t i = 0; i < BIT(PDPT_INDEX_OFFSET + PDPT_INDEX_BITS); i += (1UL << PDPT_INDEX_OFFSET)) { in x86_64_cap_pdpt_print_slots() local
442 …for (word_t i = 0; i < BIT(PDPT_INDEX_OFFSET + PDPT_INDEX_BITS); i += (1UL << PDPT_INDEX_OFFSET)) { in x86_64_cap_pdpt_print_slots() local
454 …for (word_t i = 0; i < BIT(PML4_INDEX_OFFSET + PML4_INDEX_BITS); i += (1UL << PML4_INDEX_OFFSET)) { in x86_64_cap_pml4_print_slots() local
[all …]
/seL4-master/src/kernel/
A Dboot.c29 for (word_t i = 1; i < ndks_boot.resv_count;) { in merge_regions() local
48 word_t i; in reserve_region() local
106 for (word_t i = 0; i < ARRAY_SIZE(ndks_boot.freemem); i++) { in insert_region() local
277 for (word_t i = 0; i < ksDomScheduleLength; i++) { in create_domain_cap() local
421 for (unsigned int i = 0; i < num_nodes; i++) { in init_sched_control() local
582 word_t i = ndks_boot.slot_pos_cur - first_untyped_slot; in provide_untyped_cap() local
641 for (word_t i = 0; i < ndks_boot.resv_count; i++) { in create_untypeds() local
728 for (word_t i = 0; i < n_available; i++) { in check_available_memory() local
761 for (word_t i = 0; i < n_reserved; i++) { in check_reserved_memory() local
806 for (word_t i = 0; i < n_available; i++) { in init_freemem() local
[all …]
/seL4-master/src/plat/pc99/machine/
A Dintel-vtd.c143 drhu_id_t i; in invalidate_context_cache() local
177 drhu_id_t i; in invalidate_iotlb() local
202 static void vtd_clear_fault(drhu_id_t i, word_t fr_reg) in vtd_clear_fault()
208 static void vtd_process_faults(drhu_id_t i) in vtd_process_faults()
261 drhu_id_t i; in vtd_handle_fault() local
288 for (word_t i = 1; i < rmrr_list->num; i++) { in vtd_get_n_paging() local
298 for (word_t i = x86KSnumIOPTLevels - 1; i > 0; i--) { in vtd_get_n_paging() local
321 int i; in vtd_map_reserved_page() local
373 word_t i; in vtd_create_context_table() local
397 drhu_id_t i; in vtd_enable() local
[all …]
A Dhardware.c50 for (int i = 0; i < TSC_FREQ_RETRIES; i++) { in measure_tsc_khz() local
96 for (int i = 0; i < ARRAY_SIZE(valid_models); i++) { in tsc_init() local
/seL4-master/include/arch/x86/arch/kernel/
A Dtlb_bitmap.h20 for (int i = 0; i < TLBBITMAP_ROOT_ENTRIES; i++) { in tlb_bitmap_init() local
41 for (int i = 0; i < TLBBITMAP_ROOT_ENTRIES; i++) { in tlb_bitmap_get() local
/seL4-master/src/arch/x86/32/kernel/
A Delf.c29 uint32_t i; in elf_getMemoryBounds() local
57 uint32_t i; in elf_load() local
/seL4-master/src/arch/x86/64/kernel/
A Delf.c27 uint32_t i; in elf_getMemoryBounds() local
54 uint32_t i; in elf_load() local
/seL4-master/src/smp/
A Dlock.c16 for (int i = 0; i < CONFIG_MAX_NUM_NODES; i++) { in clh_lock_init() local
/seL4-master/src/arch/arm/machine/
A Dgic_v2.c45 word_t i; in infer_cpu_gic_id() local
64 word_t i; in dist_init() local
112 uint32_t i; in cpu_iface_init() local
A Dhardware.c28 for (int i = 0; i < NUM_KERNEL_DEVICE_FRAMES; i++) { in map_kernel_devices() local
A Ddebug.c364 int i; in dumpBpsAndWpsCp() local
385 int i; in dumpBpsAndWpsContext() local
771 int i; in disableAllBpsAndWps() local
899 for (int i = 0; i < seL4_NumExclusiveBreakpoints; i++) { in Arch_initHardwareBreakpoints() local
902 for (int i = 0; i < seL4_NumExclusiveWatchpoints; i++) { in Arch_initHardwareBreakpoints() local
934 int i, ret = -1; in getAndResetActiveBreakpoint() local
1075 int i, active_bp; in handleUserLevelDebugException() local
1166 int i; in loadAllDisabledBreakpointState() local
1206 int i; in saveAllBreakpointState() local
1241 int i; in loadBreakpointState() local
A Dgic_v3.c138 word_t i; in dist_init() local
236 int i; in gicr_init() local
353 for (word_t i = 0; i < CONFIG_MAX_NUM_NODES; i++) { in ipi_send_target() local
368 for (word_t i = 0; i <= last_aff1; i++) { in ipi_send_target() local
/seL4-master/src/api/
A Dfaults.c33 word_t i; in setMRs_lookup_failure() local
76 word_t i; in copyMRsFaultReply() local
102 word_t i; in copyMRsFault() local
/seL4-master/src/arch/arm/32/machine/
A Dcapdl.c121 word_t i = 0; in arm32_cap_pt_print_slots() local
163 word_t i = 0; in obj_vtable_print_slots() local
410 word_t i = 0; in arm32_obj_pt_print_slots() local
457 word_t i = 0; in obj_tcb_print_vtable() local
/seL4-master/include/api/
A Dsyscall.h38 static inline word_t PURE getSyscallArg(word_t i, word_t *ipc_buffer) in getSyscallArg()
/seL4-master/src/arch/riscv/machine/
A Dcapdl.c58 for (word_t i = 0; i < BIT(ptBitsLeft + PT_INDEX_BITS) - 1; i += (1 << (ptBitsLeft))) { in riscv_cap_pt_print_slots() local
72 for (word_t i = 0; i < BIT(ptBitsLeft + PT_INDEX_BITS) - 1; i += (1 << (ptBitsLeft))) { in riscv_cap_pt_print_slots() local
200 for (word_t i = 0; i < BIT(ptBitsLeft + PT_INDEX_BITS); i += (1 << (ptBitsLeft))) { in riscv_obj_pt_print_slots() local
A Dhardware.c38 for (int i = 0; i < NUM_KERNEL_DEVICE_FRAMES; i++) { in map_kernel_devices() local
260 for (word_t i = 0; i < ARRAY_SIZE(active_irq); i++) { in initIRQController() local
/seL4-master/src/arch/riscv/kernel/
A Dthread.c30 for (int i = 0; i < CONFIG_MAX_NUM_NODES; i++) { in Arch_configureIdleThread() local
/seL4-master/include/drivers/irq/
A Driscv_plic0.h158 for (int i = 1; i <= PLIC_NUM_INTERRUPTS; i++) { in plic_init_hart() local
170 for (int i = 1; i <= PLIC_NUM_INTERRUPTS; i++) { in plic_init_controller() local
179 for (int i = 1; i <= PLIC_MAX_IRQ + 1; i++) { in plic_init_controller() local

Completed in 34 milliseconds

123