Searched refs:IPI_SOFT (Results 1 - 3 of 3) sorted by relevance
/seL4-test-master/tools/riscv-pk/machine/ | ||
H A D | mtrap.h | 83 #define IPI_SOFT 0x1 macro |
H A D | mtrap.c | 114 if (event == IPI_SOFT) 147 ipi_type = IPI_SOFT; |
H A D | mentry.S | 87 and a1, a0, IPI_SOFT |
Completed in 32 milliseconds