Searched refs:hat_kernel_range_t (Results 1 – 1 of 1) sorted by relevance
320 } hat_kernel_range_t; typedef322 static hat_kernel_range_t kernel_ranges[NUM_KERNEL_RANGE];459 hat_kernel_range_t *rp; in hat_alloc()1241 hat_kernel_range_t *rp; in hat_init_finish()