Searched defs:pte32 (Results 1 – 1 of 1) sorted by relevance
422 uint32_t pte32 = 0; in riscv_iommu_spa_fetch() local973 uint32_t pte32 = 0; in pdt_memory_read() local