Searched refs:regionp (Results 1 – 1 of 1) sorted by relevance
117 __DEBUG_ONLY vm_info_region_t *regionp, in vm32_region_info() argument314 *regionp = region; in vm32_region_info()329 __DEBUG_ONLY vm_info_region_64_t *regionp, in vm32_region_info_64() argument525 *regionp = region; in vm32_region_info_64()