Searched refs:sfmmu_kern_mapped (Results 1 – 2 of 2) sorted by relevance
38 extern int sfmmu_kern_mapped;45 if (!sfmmu_kern_mapped) in kdi_vtop()
92 int sfmmu_kern_mapped = 0; variable222 sfmmu_kern_mapped = 1; in hat_kern_setup()