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

/seL4-mcs-10.1.1/src/arch/riscv/
H A Dhead.S28 .extern trap_entry
H A Dtraps.S30 .global trap_entry
36 trap_entry: label
/seL4-mcs-10.1.1/src/arch/riscv/kernel/
H A Dboot.c202 extern char trap_entry[];
209 write_stvec((word_t)trap_entry);

Completed in 75 milliseconds