Searched defs:RISCV_GET_PT_INDEX (Results 1 - 1 of 1) sorted by relevance

/seL4-camkes-master/kernel/include/arch/riscv/arch/machine/
H A Dhardware.h50 #define RISCV_GET_PT_INDEX(addr, n) (((addr) >> (((PT_INDEX_BITS) * (((CONFIG_PT_LEVELS) - 1) - (n))) + seL4_PageBits)) & MASK(PT_INDEX_BITS)) macro

Completed in 25 milliseconds