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

/seL4-l4v-master/seL4/src/arch/arm/armv/armv8-a/64/
H A Dmachine_asm.S11 END_FUNC(lockTLBEntry)
/seL4-l4v-master/seL4/src/arch/arm/armv/armv8-a/32/
H A Dmachine_asm.S15 END_FUNC(lockTLBEntry)
/seL4-l4v-master/seL4/src/arch/x86/32/
H A Dmachine_asm.S42 END_FUNC(ia32_install_gdt)
48 END_FUNC(ia32_install_idt)
53 END_FUNC(ia32_install_ldt)
58 END_FUNC(ia32_install_tss)
70 END_FUNC(getCacheLineSize)
79 END_FUNC(out8)
86 END_FUNC(out16)
93 END_FUNC(out32)
99 END_FUNC(in8)
105 END_FUNC(in1
[all...]
H A Dhead.S43 END_FUNC(enable_paging)
83 END_FUNC(_start)
133 END_FUNC(boot_cpu_start)
H A Dtraps.S487 END_FUNC(kernel_exception)
508 END_FUNC(handle_vmexit)
557 END_FUNC(handle_syscall)
/seL4-l4v-master/seL4/src/arch/x86/64/
H A Dmachine_asm.S26 END_FUNC(out8)
33 END_FUNC(out16)
40 END_FUNC(out32)
47 END_FUNC(in8)
54 END_FUNC(in16)
61 END_FUNC(in32)
73 END_FUNC(getCacheLineSize)
85 END_FUNC(x64_install_gdt)
90 END_FUNC(x64_install_idt)
95 END_FUNC(x64_install_ld
[all...]
H A Dhead.S44 END_FUNC(print_string)
50 END_FUNC(hang)
68 END_FUNC(huge_page_check)
123 END_FUNC(setup_pml4)
141 END_FUNC(pcid_check)
159 END_FUNC(invpcid_check)
177 END_FUNC(syscall_check)
200 END_FUNC(fsgsbase_enable)
211 END_FUNC(syscall_enable)
241 END_FUNC(enable_x64_mod
[all...]
H A Dtraps.S461 END_FUNC(handle_interrupt)
494 END_FUNC(nested_interrupt)
583 END_FUNC(kernel_exception)
622 END_FUNC(handle_fastsyscall)
667 END_FUNC(handle_syscall)
686 END_FUNC(handle_vmexit)
/seL4-l4v-master/seL4/include/machine/
H A Dassembler.h14 * Use BEGIN_FUNC(), END_FUNC() around assembly functions to annotate them
22 #define END_FUNC(_name) \ macro
/seL4-l4v-master/seL4/src/arch/arm/32/
H A Dhyp_traps.S72 END_FUNC(arm_vector_table)
145 END_FUNC(arm_hyp_trap)
152 END_FUNC(arm_undefined_inst)
158 END_FUNC(arm_prefetch_abort)
164 END_FUNC(arm_data_abort)
173 END_FUNC(arm_syscall)
188 END_FUNC(arm_hyp_prefetch_abort_exception)
199 END_FUNC(arm_hyp_data_abort_exception)
210 END_FUNC(arm_hyp_undefined_inst_exception)
214 END_FUNC(arm_hyp_syscal
[all...]
H A Dtraps.S28 END_FUNC(arm_vector_table)
58 END_FUNC(arm_undefined_inst_exception)
101 END_FUNC(arm_swi_syscall)
152 END_FUNC(arm_prefetch_abort_exception)
204 END_FUNC(arm_data_abort_exception)
221 END_FUNC(arm_irq_exception)
225 END_FUNC(arm_reset_exception)
229 END_FUNC(arm_fiq_exception)
H A Dhead.S169 END_FUNC(_start)
/seL4-l4v-master/seL4/src/arch/arm/64/
H A Dtraps.S68 END_FUNC(arm_vector_table)
101 END_FUNC(invalid_vector_entry)
130 END_FUNC(cur_el_sync)
141 END_FUNC(cur_el_irq)
149 END_FUNC(cur_el_serr)
225 END_FUNC(lower_el_sync)
234 END_FUNC(lower_el_irq)
242 END_FUNC(lower_el_serr)
H A Dhead.S121 END_FUNC(_start)
/seL4-l4v-master/seL4/src/arch/arm/armv/armv6/
H A Dmachine_asm.S36 END_FUNC(lockTLBEntry)
/seL4-l4v-master/seL4/src/arch/arm/armv/armv7-a/
H A Dmachine_asm.S39 END_FUNC(lockTLBEntryCritical)

Completed in 59 milliseconds