Searched refs:locore_vaddr_t (Results 1 – 1 of 1) sorted by relevance
54 typedef uint64_t locore_vaddr_t; typedef59 typedef vaddr_t locore_vaddr_t; typedef