Symbol: hat_kernel_range_t
usr/src/uts/i86pc/vm/hat_i86.c
1241
hat_kernel_range_t *rp;
usr/src/uts/i86pc/vm/hat_i86.c
322
static hat_kernel_range_t kernel_ranges[NUM_KERNEL_RANGE];
usr/src/uts/i86pc/vm/hat_i86.c
459
hat_kernel_range_t *rp;