Searched refs:IPI_HALT (Results 1 - 3 of 3) sorted by relevance
| /seL4-test-master/tools/riscv-pk/machine/ | ||
| H A D | mtrap.h | 86 #define IPI_HALT 0x8 macro |
| H A D | mtrap.c | 256 send_ipi_many(0, IPI_HALT); |
| H A D | mentry.S | 99 andi a1, a0, IPI_HALT |
Completed in 98 milliseconds