Searched refs:trap_entry (Results 1 - 4 of 4) sorted by relevance

/seL4-l4v-master/seL4/src/arch/riscv/
H A Dhead.S17 .extern trap_entry
H A Dtraps.S19 .global trap_entry
25 trap_entry: label
/seL4-l4v-master/HOL4/examples/machine-code/graph/
H A Ddecompile_testScript.sml12 val res = decomp base_name fast "trap_entry";
/seL4-l4v-master/seL4/src/arch/riscv/kernel/
H A Dboot.c121 extern char trap_entry[1];
139 write_stvec((word_t)trap_entry);

Completed in 90 milliseconds