Searched refs:SSTATUS_SPIE (Results 1 – 3 of 3) sorted by relevance

/seL4-master/src/arch/riscv/kernel/
A D	thread.c	28 setRegister(tcb, SSTATUS, (word_t) SSTATUS_SPP | SSTATUS_SPIE); in Arch_configureIdleThread()
/seL4-master/include/arch/riscv/arch/machine/
A D	hardware.h	15 #define SSTATUS_SPIE 0x00000020 macro
A D	registerset.h	122 context->registers[SSTATUS] = SSTATUS_SPIE; in Arch_initContext()

Completed in 5 milliseconds

Last Index update Sun Aug 20 00:18:20 CST 2023