Searched refs:BEGIN_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.S15 BEGIN_FUNC(lockTLBEntry)
/seL4-l4v-10.1.1/seL4/src/arch/arm/armv/armv8-a/32/
H A Dmachine_asm.S17 BEGIN_FUNC(lockTLBEntry)
/seL4-l4v-10.1.1/seL4/src/arch/x86/32/
H A Dmachine_asm.S15 BEGIN_FUNC(ia32_install_gdt)
29 BEGIN_FUNC(ia32_install_idt)
35 BEGIN_FUNC(ia32_install_ldt)
40 BEGIN_FUNC(ia32_install_tss)
46 BEGIN_FUNC(ia32_load_fs)
52 BEGIN_FUNC(ia32_load_gs)
58 BEGIN_FUNC(getCacheLineSize)
72 BEGIN_FUNC(out8)
79 BEGIN_FUNC(out16)
86 BEGIN_FUNC(out3
[all...]
H A Dhead.S23 BEGIN_FUNC(enable_paging)
51 BEGIN_FUNC(_start)
91 BEGIN_FUNC(boot_cpu_start)
H A Dtraps.S379 BEGIN_FUNC(kernel_exception)
472 BEGIN_FUNC(handle_vmexit)
501 BEGIN_FUNC(handle_syscall)
/seL4-l4v-10.1.1/seL4/src/arch/x86/64/
H A Dmachine_asm.S27 BEGIN_FUNC(out8) # port, value
34 BEGIN_FUNC(out16)
41 BEGIN_FUNC(out32)
48 BEGIN_FUNC(in8)
55 BEGIN_FUNC(in16)
62 BEGIN_FUNC(in32)
69 BEGIN_FUNC(getCacheLineSize)
81 BEGIN_FUNC(x64_install_gdt)
93 BEGIN_FUNC(x64_install_idt)
98 BEGIN_FUNC(x64_install_ld
[all...]
H A Dhead.S36 BEGIN_FUNC(print_string)
48 BEGIN_FUNC(huge_page_check)
67 BEGIN_FUNC(setup_pml4)
123 BEGIN_FUNC(setup_pml4)
176 BEGIN_FUNC(pcid_check)
196 BEGIN_FUNC(invpcid_check)
216 BEGIN_FUNC(syscall_check)
237 BEGIN_FUNC(fsgsbase_enable)
265 BEGIN_FUNC(syscall_enable)
275 BEGIN_FUNC(enable_x64_mod
[all...]
H A Dtraps.S452 BEGIN_FUNC(handle_interrupt)
467 BEGIN_FUNC(nested_interrupt)
500 BEGIN_FUNC(kernel_exception)
595 BEGIN_FUNC(handle_fastsyscall)
630 BEGIN_FUNC(handle_syscall)
669 BEGIN_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
22 #define BEGIN_FUNC(_name) \ macro
/seL4-l4v-10.1.1/seL4/src/arch/arm/32/
H A Dhyp_traps.S67 BEGIN_FUNC(arm_vector_table)
127 BEGIN_FUNC(arm_hyp_trap)
152 BEGIN_FUNC(arm_undefined_inst)
158 BEGIN_FUNC(arm_prefetch_abort)
164 BEGIN_FUNC(arm_data_abort)
170 BEGIN_FUNC(arm_syscall)
183 BEGIN_FUNC(arm_hyp_prefetch_abort_exception)
194 BEGIN_FUNC(arm_hyp_data_abort_exception)
205 BEGIN_FUNC(arm_hyp_undefined_inst_exception)
216 BEGIN_FUNC(arm_hyp_syscal
[all...]
H A Dtraps.S21 BEGIN_FUNC(arm_vector_table)
42 BEGIN_FUNC(arm_undefined_inst_exception)
64 BEGIN_FUNC(arm_swi_syscall)
95 BEGIN_FUNC(arm_prefetch_abort_exception)
146 BEGIN_FUNC(arm_data_abort_exception)
198 BEGIN_FUNC(arm_irq_exception)
215 BEGIN_FUNC(arm_reset_exception)
219 BEGIN_FUNC(arm_fiq_exception)
H A Dhead.S81 BEGIN_FUNC(_start)
/seL4-l4v-10.1.1/seL4/src/arch/arm/armv/armv6/
H A Dmachine_asm.S18 BEGIN_FUNC(lockTLBEntry)
/seL4-l4v-10.1.1/seL4/src/arch/arm/armv/armv7-a/
H A Dmachine_asm.S24 BEGIN_FUNC(lockTLBEntryCritical)
/seL4-l4v-10.1.1/seL4/src/arch/arm/64/
H A Dtraps.S54 BEGIN_FUNC(arm_vector_table)
104 BEGIN_FUNC(invalid_vector_entry)
109 BEGIN_FUNC(cur_el_sync)
144 BEGIN_FUNC(cur_el_irq)
149 BEGIN_FUNC(lower_el_sync)
214 BEGIN_FUNC(lower_el_irq)
H A Dhead.S74 BEGIN_FUNC(_start)

Completed in 88 milliseconds