Searched refs:RISCVGigaPageBits (Results 1 – 1 of 1) sorted by relevance
78 RISCVGigaPageBits = seL4_HugePageBits, enumerator104 return RISCVGigaPageBits; in pageBitsForSize()
Completed in 2 milliseconds