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

/src/sys/arch/arm/arm32/
H A Dpmap.c778 pv_addr_t kernelpages; variable in typeref:typename:pv_addr_t

Completed in 13 milliseconds