Searched refs:IPI_SFENCE_VMA (Results 1 - 3 of 3) sorted by relevance
/seL4-test-master/tools/riscv-pk/machine/ | ||
H A D | mtrap.h | 85 #define IPI_SFENCE_VMA 0x4 macro |
H A D | mtrap.c | 151 ipi_type = IPI_SFENCE_VMA; |
H A D | mentry.S | 95 andi a1, a0, IPI_SFENCE_VMA |
Completed in 78 milliseconds