Searched refs:BOOT_CODE (Results 51 - 75 of 84) sorted by relevance

1234

/seL4-test-master/kernel/src/drivers/timer/
H A Dgeneric_timer.c9 BOOT_CODE void initGenericTimer(void)
40 BOOT_CODE void initTimer(void)
H A Dimx31-epit.c33 BOOT_CODE void initTimer(void)
/seL4-test-master/kernel/src/arch/x86/64/kernel/
H A Dthread.c33 BOOT_CODE void Arch_configureIdleThread(tcb_t *tcb)
H A Dvspace.c41 BOOT_CODE bool_t map_kernel_window(
260 BOOT_CODE bool_t map_skim_window(vptr_t skim_start, vptr_t skim_end)
308 BOOT_CODE void init_tss(tss_t *tss)
330 BOOT_CODE void init_syscall_msrs(void)
340 BOOT_CODE void init_gdt(gdt_entry_t *gdt, tss_t *tss)
452 BOOT_CODE void init_idt_entry(idt_entry_t *idt, interrupt_t interrupt, void(*handler)(void))
503 BOOT_CODE void init_dtrs(void)
525 BOOT_CODE void map_it_frame_cap(cap_t pd_cap, cap_t frame_cap)
560 static BOOT_CODE void map_it_pdpt_cap(cap_t vspace_cap, cap_t pdpt_cap)
579 BOOT_CODE voi
[all...]
/seL4-test-master/kernel/include/arch/arm/armv/armv6/armv/
H A Ddebug.h69 BOOT_CODE static bool_t enableMonitorMode(void)
/seL4-test-master/kernel/include/arch/x86/arch/kernel/
H A Dx2apic.h12 BOOT_CODE bool_t x2apic_is_enabled(void);
/seL4-test-master/kernel/include/arch/x86/arch/machine/
H A Dhardware.h109 BOOT_CODE void enablePMCUser(void);
/seL4-test-master/kernel/include/plat/pc99/plat/machine/
H A Dacpi.h56 BOOT_CODE bool_t acpi_validate_rsdp(acpi_rsdp_t *acpi_rsdp);
/seL4-test-master/kernel/src/arch/x86/kernel/
H A Dboot_sys.c63 BOOT_CODE static paddr_t find_load_paddr(paddr_t min_paddr, word_t image_size)
80 BOOT_CODE static paddr_t load_boot_module(word_t boot_module_start, paddr_t load_paddr)
146 static BOOT_CODE bool_t try_boot_sys_node(cpu_id_t cpu_id)
199 static BOOT_CODE bool_t add_mem_p_regs(p_region_t reg)
225 static BOOT_CODE bool_t parse_mem_map(uint32_t mmap_length, uint32_t mmap_addr)
251 static BOOT_CODE bool_t is_compiled_for_microarchitecture(void)
339 static BOOT_CODE bool_t try_boot_sys(void)
512 static BOOT_CODE bool_t try_boot_sys_mbi1(
611 static BOOT_CODE bool_t try_boot_sys_mbi2(
706 BOOT_CODE VISIBL
[all...]
H A Dboot.c31 BOOT_CODE static void init_irqs(cap_t root_cnode_cap)
70 BOOT_CODE static bool_t create_untypeds(
88 BOOT_CODE static void arch_init_freemem(p_region_t ui_p_reg, v_region_t v_reg,
98 BOOT_CODE bool_t init_sys_state(
355 BOOT_CODE bool_t init_cpu(
/seL4-test-master/kernel/src/plat/pc99/machine/
H A Dintel-vtd.c268 BOOT_CODE word_t vtd_get_n_paging(acpi_rmrr_list_t *rmrr_list)
319 BOOT_CODE static void vtd_map_reserved_page(vtd_cte_t *vtd_context_table, int context_index, paddr_t addr)
371 BOOT_CODE static void vtd_create_context_table(uint8_t bus, acpi_rmrr_list_t *rmrr_list)
395 BOOT_CODE static bool_t vtd_enable(cpu_id_t cpu_id)
460 BOOT_CODE bool_t vtd_init_num_iopts(uint32_t num_drhu)
518 BOOT_CODE bool_t vtd_init(cpu_id_t cpu_id, acpi_rmrr_list_t *rmrr_list)
/seL4-test-master/kernel/include/kernel/
H A Dboot.h132 static inline BOOT_CODE word_t get_n_paging(v_region_t v_reg, word_t bits)
140 static inline BOOT_CODE pptr_t it_alloc_paging(void)
/seL4-test-master/kernel/src/arch/x86/machine/
H A Dfpu.c24 BOOT_CODE bool_t Arch_initFpu(void)
/seL4-test-master/kernel/include/arch/arm/armv/armv7ve/armv/
H A Ddebug.h101 BOOT_CODE static bool_t enableMonitorMode(void)
/seL4-test-master/kernel/include/arch/arm/armv/armv7-a/armv/
H A Ddebug.h101 BOOT_CODE static bool_t enableMonitorMode(void)
/seL4-test-master/kernel/include/arch/arm/armv/armv8-a/32/armv/
H A Ddebug.h101 BOOT_CODE static bool_t enableMonitorMode(void)
/seL4-test-master/kernel/src/arch/x86/32/kernel/
H A Dvspace_32paging.c27 BOOT_CODE
102 BOOT_CODE void map_it_pt_cap(cap_t vspace_cap, cap_t pt_cap)
122 BOOT_CODE void map_it_pd_cap(cap_t vspace_cap, cap_t pd_cap)
128 BOOT_CODE void map_it_frame_cap(cap_t pd_cap, cap_t frame_cap)
/seL4-test-master/kernel/include/smp/
H A Dlock.h53 BOOT_CODE void clh_lock_init(void);
/seL4-test-master/kernel/src/arch/riscv/kernel/
H A Dvspace.c86 BOOT_CODE void map_kernel_frame(paddr_t paddr, pptr_t vaddr, vm_rights_t vm_rights)
106 BOOT_CODE VISIBLE void map_kernel_window(void)
165 BOOT_CODE void map_it_pt_cap(cap_t vspace_cap, cap_t pt_cap)
195 BOOT_CODE void map_it_frame_cap(cap_t vspace_cap, cap_t frame_cap)
222 BOOT_CODE cap_t create_unmapped_it_frame_cap(pptr_t pptr, bool_t use_large)
237 static BOOT_CODE cap_t create_it_pt_cap(cap_t vspace_cap, pptr_t pptr, vptr_t vptr, asid_t asid)
251 BOOT_CODE word_t arch_get_n_paging(v_region_t it_v_reg)
262 BOOT_CODE cap_t create_it_address_space(cap_t root_cnode_cap, v_region_t it_v_reg)
303 BOOT_CODE void activate_kernel_vspace(void)
308 BOOT_CODE voi
[all...]
/seL4-test-master/kernel/src/drivers/smmu/
H A Dsmmuv2.c131 BOOT_CODE static void smmu_mapping_init(void)
178 BOOT_CODE static void smmu_config_prob(void)
276 BOOT_CODE static void smmu_dev_reset(void)
369 BOOT_CODE void plat_smmu_init(void)
/seL4-test-master/kernel/src/arch/arm/64/kernel/
H A Dvspace.c209 BOOT_CODE void map_kernel_frame(paddr_t paddr, pptr_t vaddr, vm_rights_t vm_rights, vm_attributes_t attributes)
236 BOOT_CODE void map_kernel_window(void)
298 static BOOT_CODE void map_it_frame_cap(cap_t vspace_cap, cap_t frame_cap, bool_t executable)
343 static BOOT_CODE cap_t create_it_frame_cap(pptr_t pptr, vptr_t vptr, asid_t asid, bool_t use_large)
362 static BOOT_CODE void map_it_pt_cap(cap_t vspace_cap, cap_t pt_cap)
387 static BOOT_CODE cap_t create_it_pt_cap(cap_t vspace_cap, pptr_t pptr, vptr_t vptr, asid_t asid)
400 static BOOT_CODE void map_it_pd_cap(cap_t vspace_cap, cap_t pd_cap)
421 static BOOT_CODE cap_t create_it_pd_cap(cap_t vspace_cap, pptr_t pptr, vptr_t vptr, asid_t asid)
435 static BOOT_CODE void map_it_pud_cap(cap_t vspace_cap, cap_t pud_cap)
447 static BOOT_CODE cap_
[all...]
/seL4-test-master/kernel/src/arch/arm/machine/
H A Dl2c_310.c230 BOOT_CODE static void mshield_smc(uint32_t callid, uint32_t arg1, uint32_t arg2)
243 BOOT_CODE void initL2Cache(void)
/seL4-test-master/kernel/src/arch/arm/32/kernel/
H A Dvspace.c89 BOOT_CODE
155 BOOT_CODE void map_kernel_frame(paddr_t paddr, pptr_t vaddr, vm_rights_t vm_rights, vm_attributes_t attributes)
197 BOOT_CODE void map_kernel_window(void)
313 BOOT_CODE void map_kernel_window(void)
420 static BOOT_CODE void map_it_frame_cap(cap_t pd_cap, cap_t frame_cap, bool_t executable)
461 static BOOT_CODE cap_t create_it_frame_cap(pptr_t pptr, vptr_t vptr, asid_t asid, bool_t use_large)
489 static BOOT_CODE void map_it_pt_cap(cap_t pd_cap, cap_t pt_cap)
511 static BOOT_CODE cap_t create_it_page_table_cap(cap_t pd, pptr_t pptr, vptr_t vptr, asid_t asid)
526 BOOT_CODE word_t arch_get_n_paging(v_region_t it_v_reg)
533 BOOT_CODE cap_
[all...]
/seL4-test-master/kernel/include/arch/arm/arch/object/
H A Dvcpu.h98 BOOT_CODE void vcpu_boot_init(void);
/seL4-test-master/kernel/src/plat/tk1/machine/
H A Dsmmu.c149 BOOT_CODE int plat_smmu_init(void)

Completed in 90 milliseconds

1234