Searched refs:RISCV_KERNEL_WINDOW_LEVEL2_PT (Results 1 - 3 of 3) sorted by relevance

/seL4-l4v-10.1.1/seL4/src/arch/riscv/model/
H A Dstatedata.c34 #ifdef RISCV_KERNEL_WINDOW_LEVEL2_PT
/seL4-l4v-10.1.1/seL4/include/arch/riscv/arch/model/
H A Dstatedata.h46 #define RISCV_KERNEL_WINDOW_LEVEL2_PT macro
/seL4-l4v-10.1.1/seL4/src/arch/riscv/kernel/
H A Dvspace.c126 #ifndef RISCV_KERNEL_WINDOW_LEVEL2_PT

Completed in 80 milliseconds