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

/seL4-l4v-master/seL4/src/arch/arm/armv/armv8-a/64/
H A Dmachine_asm.S9 BEGIN_FUNC(lockTLBEntry)
/seL4-l4v-master/seL4/src/arch/arm/armv/armv8-a/32/
H A Dmachine_asm.S13 BEGIN_FUNC(lockTLBEntry)
/seL4-l4v-master/seL4/src/arch/x86/32/
H A Dmachine_asm.S28 BEGIN_FUNC(ia32_install_gdt)
44 BEGIN_FUNC(ia32_install_idt)
50 BEGIN_FUNC(ia32_install_ldt)
55 BEGIN_FUNC(ia32_install_tss)
60 BEGIN_FUNC(getCacheLineSize)
74 BEGIN_FUNC(out8)
81 BEGIN_FUNC(out16)
88 BEGIN_FUNC(out32)
95 BEGIN_FUNC(in8)
101 BEGIN_FUNC(in1
[all...]
H A Dhead.S19 BEGIN_FUNC(enable_paging)
47 BEGIN_FUNC(_start)
87 BEGIN_FUNC(boot_cpu_start)
H A Dtraps.S410 BEGIN_FUNC(kernel_exception)
492 BEGIN_FUNC(handle_vmexit)
518 BEGIN_FUNC(handle_syscall)
/seL4-l4v-master/seL4/src/arch/x86/64/
H A Dmachine_asm.S21 BEGIN_FUNC(out8) # port, value
28 BEGIN_FUNC(out16)
35 BEGIN_FUNC(out32)
42 BEGIN_FUNC(in8)
49 BEGIN_FUNC(in16)
56 BEGIN_FUNC(in32)
63 BEGIN_FUNC(getCacheLineSize)
75 BEGIN_FUNC(x64_install_gdt)
87 BEGIN_FUNC(x64_install_idt)
92 BEGIN_FUNC(x64_install_ld
[all...]
H A Dhead.S35 BEGIN_FUNC(print_string)
46 BEGIN_FUNC(hang)
53 BEGIN_FUNC(huge_page_check)
71 BEGIN_FUNC(setup_pml4)
125 BEGIN_FUNC(pcid_check)
143 BEGIN_FUNC(invpcid_check)
161 BEGIN_FUNC(syscall_check)
180 BEGIN_FUNC(fsgsbase_enable)
203 BEGIN_FUNC(syscall_enable)
213 BEGIN_FUNC(enable_x64_mod
[all...]
H A Dtraps.S448 BEGIN_FUNC(handle_interrupt)
463 BEGIN_FUNC(nested_interrupt)
496 BEGIN_FUNC(kernel_exception)
591 BEGIN_FUNC(handle_fastsyscall)
630 BEGIN_FUNC(handle_syscall)
672 BEGIN_FUNC(handle_vmexit)
/seL4-l4v-master/seL4/include/machine/
H A Dassembler.h14 * Use BEGIN_FUNC(), END_FUNC() around assembly functions to annotate them
17 #define BEGIN_FUNC(_name) \ macro
/seL4-l4v-master/seL4/src/arch/arm/32/
H A Dhyp_traps.S63 BEGIN_FUNC(arm_vector_table)
123 BEGIN_FUNC(arm_hyp_trap)
148 BEGIN_FUNC(arm_undefined_inst)
154 BEGIN_FUNC(arm_prefetch_abort)
160 BEGIN_FUNC(arm_data_abort)
166 BEGIN_FUNC(arm_syscall)
179 BEGIN_FUNC(arm_hyp_prefetch_abort_exception)
190 BEGIN_FUNC(arm_hyp_data_abort_exception)
201 BEGIN_FUNC(arm_hyp_undefined_inst_exception)
212 BEGIN_FUNC(arm_hyp_syscal
[all...]
H A Dtraps.S17 BEGIN_FUNC(arm_vector_table)
38 BEGIN_FUNC(arm_undefined_inst_exception)
60 BEGIN_FUNC(arm_swi_syscall)
103 BEGIN_FUNC(arm_prefetch_abort_exception)
154 BEGIN_FUNC(arm_data_abort_exception)
206 BEGIN_FUNC(arm_irq_exception)
223 BEGIN_FUNC(arm_reset_exception)
227 BEGIN_FUNC(arm_fiq_exception)
H A Dhead.S78 BEGIN_FUNC(_start)
/seL4-l4v-master/seL4/src/arch/arm/64/
H A Dtraps.S48 BEGIN_FUNC(arm_vector_table)
98 BEGIN_FUNC(invalid_vector_entry)
103 BEGIN_FUNC(cur_el_sync)
138 BEGIN_FUNC(cur_el_irq)
143 BEGIN_FUNC(cur_el_serr)
151 BEGIN_FUNC(lower_el_sync)
227 BEGIN_FUNC(lower_el_irq)
236 BEGIN_FUNC(lower_el_serr)
H A Dhead.S68 BEGIN_FUNC(_start)
/seL4-l4v-master/seL4/src/arch/arm/armv/armv6/
H A Dmachine_asm.S14 BEGIN_FUNC(lockTLBEntry)
/seL4-l4v-master/seL4/src/arch/arm/armv/armv7-a/
H A Dmachine_asm.S20 BEGIN_FUNC(lockTLBEntryCritical)

Completed in 130 milliseconds