Searched defs:RISCV_GET_LVL_PGSIZE (Results 1 - 1 of 1) sorted by relevance
| /seL4-camkes-master/kernel/include/arch/riscv/arch/machine/ | ||
| H A D | hardware.h | 52 #define RISCV_GET_LVL_PGSIZE(n) BIT(RISCV_GET_LVL_PGSIZE_BITS((n))) macro |
Completed in 26 milliseconds