/seL4-test-master/kernel/src/drivers/timer/ |
H A D | generic_timer.c | 9 BOOT_CODE void initGenericTimer(void) 40 BOOT_CODE void initTimer(void)
|
H A D | imx31-epit.c | 33 BOOT_CODE void initTimer(void)
|
/seL4-test-master/kernel/src/arch/x86/64/kernel/ |
H A D | thread.c | 33 BOOT_CODE void Arch_configureIdleThread(tcb_t *tcb)
|
H A D | vspace.c | 41 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 D | debug.h | 69 BOOT_CODE static bool_t enableMonitorMode(void)
|
/seL4-test-master/kernel/include/arch/x86/arch/kernel/ |
H A D | x2apic.h | 12 BOOT_CODE bool_t x2apic_is_enabled(void);
|
/seL4-test-master/kernel/include/arch/x86/arch/machine/ |
H A D | hardware.h | 109 BOOT_CODE void enablePMCUser(void);
|
/seL4-test-master/kernel/include/plat/pc99/plat/machine/ |
H A D | acpi.h | 56 BOOT_CODE bool_t acpi_validate_rsdp(acpi_rsdp_t *acpi_rsdp);
|
/seL4-test-master/kernel/src/arch/x86/kernel/ |
H A D | boot_sys.c | 63 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 D | boot.c | 31 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 D | intel-vtd.c | 268 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 D | boot.h | 132 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 D | fpu.c | 24 BOOT_CODE bool_t Arch_initFpu(void)
|
/seL4-test-master/kernel/include/arch/arm/armv/armv7ve/armv/ |
H A D | debug.h | 101 BOOT_CODE static bool_t enableMonitorMode(void)
|
/seL4-test-master/kernel/include/arch/arm/armv/armv7-a/armv/ |
H A D | debug.h | 101 BOOT_CODE static bool_t enableMonitorMode(void)
|
/seL4-test-master/kernel/include/arch/arm/armv/armv8-a/32/armv/ |
H A D | debug.h | 101 BOOT_CODE static bool_t enableMonitorMode(void)
|
/seL4-test-master/kernel/src/arch/x86/32/kernel/ |
H A D | vspace_32paging.c | 27 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 D | lock.h | 53 BOOT_CODE void clh_lock_init(void);
|
/seL4-test-master/kernel/src/arch/riscv/kernel/ |
H A D | vspace.c | 86 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 D | smmuv2.c | 131 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 D | vspace.c | 209 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 D | l2c_310.c | 230 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 D | vspace.c | 89 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 D | vcpu.h | 98 BOOT_CODE void vcpu_boot_init(void);
|
/seL4-test-master/kernel/src/plat/tk1/machine/ |
H A D | smmu.c | 149 BOOT_CODE int plat_smmu_init(void)
|