Searched refs:hat_kernel_range_t (Results 1 – 1 of 1) sorted by relevance
130 } hat_kernel_range_t; typedef132 static hat_kernel_range_t kernel_ranges[NUM_KERNEL_RANGE];249 hat_kernel_range_t *rp; in hat_alloc()846 hat_kernel_range_t *rp; in hat_init_finish()