Searched refs:END_FUNC (Results 1 - 16 of 16) sorted by relevance

/seL4-l4v-10.1.1/seL4/src/arch/arm/armv/armv8-a/64/
H A Dmachine_asm.S17 END_FUNC(lockTLBEntry)
/seL4-l4v-10.1.1/seL4/src/arch/arm/armv/armv8-a/32/
H A Dmachine_asm.S19 END_FUNC(lockTLBEntry)
/seL4-l4v-10.1.1/seL4/src/arch/x86/32/
H A Dmachine_asm.S27 END_FUNC(ia32_install_gdt)
33 END_FUNC(ia32_install_idt)
38 END_FUNC(ia32_install_ldt)
43 END_FUNC(ia32_install_tss)
50 END_FUNC(ia32_load_fs)
56 END_FUNC(ia32_load_gs)
68 END_FUNC(getCacheLineSize)
77 END_FUNC(out8)
84 END_FUNC(out16)
91 END_FUNC(out3
[all...]
H A Dhead.S47 END_FUNC(enable_paging)
87 END_FUNC(_start)
137 END_FUNC(boot_cpu_start)
H A Dtraps.S460 END_FUNC(kernel_exception)
491 END_FUNC(handle_vmexit)
542 END_FUNC(handle_syscall)
/seL4-l4v-10.1.1/seL4/src/arch/x86/64/
H A Dmachine_asm.S32 END_FUNC(out8)
39 END_FUNC(out16)
46 END_FUNC(out32)
53 END_FUNC(in8)
60 END_FUNC(in16)
67 END_FUNC(in32)
79 END_FUNC(getCacheLineSize)
91 END_FUNC(x64_install_gdt)
96 END_FUNC(x64_install_idt)
101 END_FUNC(x64_install_ld
[all...]
H A Dhead.S45 END_FUNC(print_string)
65 END_FUNC(huge_page_check)
119 END_FUNC(setup_pml4)
172 END_FUNC(setup_pml4)
194 END_FUNC(pcid_check)
214 END_FUNC(invpcid_check)
234 END_FUNC(syscall_check)
263 END_FUNC(fsgsbase_enable)
273 END_FUNC(syscall_enable)
303 END_FUNC(enable_x64_mod
[all...]
H A Dtraps.S465 END_FUNC(handle_interrupt)
498 END_FUNC(nested_interrupt)
587 END_FUNC(kernel_exception)
622 END_FUNC(handle_fastsyscall)
664 END_FUNC(handle_syscall)
683 END_FUNC(handle_vmexit)
/seL4-l4v-10.1.1/seL4/include/machine/
H A Dassembler.h19 * Use BEGIN_FUNC(), END_FUNC() around assembly functions to annotate them
27 #define END_FUNC(_name) \ macro
/seL4-l4v-10.1.1/seL4/src/arch/arm/32/
H A Dhyp_traps.S76 END_FUNC(arm_vector_table)
149 END_FUNC(arm_hyp_trap)
156 END_FUNC(arm_undefined_inst)
162 END_FUNC(arm_prefetch_abort)
168 END_FUNC(arm_data_abort)
177 END_FUNC(arm_syscall)
192 END_FUNC(arm_hyp_prefetch_abort_exception)
203 END_FUNC(arm_hyp_data_abort_exception)
214 END_FUNC(arm_hyp_undefined_inst_exception)
218 END_FUNC(arm_hyp_syscal
[all...]
H A Dtraps.S32 END_FUNC(arm_vector_table)
62 END_FUNC(arm_undefined_inst_exception)
93 END_FUNC(arm_swi_syscall)
144 END_FUNC(arm_prefetch_abort_exception)
196 END_FUNC(arm_data_abort_exception)
213 END_FUNC(arm_irq_exception)
217 END_FUNC(arm_reset_exception)
221 END_FUNC(arm_fiq_exception)
H A Dhead.S165 END_FUNC(_start)
/seL4-l4v-10.1.1/seL4/src/arch/arm/armv/armv6/
H A Dmachine_asm.S40 END_FUNC(lockTLBEntry)
/seL4-l4v-10.1.1/seL4/src/arch/arm/armv/armv7-a/
H A Dmachine_asm.S43 END_FUNC(lockTLBEntryCritical)
/seL4-l4v-10.1.1/seL4/src/arch/arm/64/
H A Dtraps.S74 END_FUNC(arm_vector_table)
107 END_FUNC(invalid_vector_entry)
136 END_FUNC(cur_el_sync)
147 END_FUNC(cur_el_irq)
212 END_FUNC(lower_el_sync)
221 END_FUNC(lower_el_irq)
H A Dhead.S121 END_FUNC(_start)

Completed in 58 milliseconds