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

/seL4-camkes-master/tools/riscv-pk/machine/
H A Dencoding.h178 #define PTE_D 0x080 // Dirty macro

Completed in 44 milliseconds