DDI_MF_KERNEL_MAPPING
mr.map_flags = DDI_MF_KERNEL_MAPPING;
mr.map_flags = DDI_MF_KERNEL_MAPPING;
mr.map_flags = DDI_MF_KERNEL_MAPPING;
mr.map_flags = DDI_MF_KERNEL_MAPPING;
mr.map_flags = DDI_MF_KERNEL_MAPPING;
mr.map_flags = DDI_MF_KERNEL_MAPPING;
mr.map_flags = DDI_MF_KERNEL_MAPPING;
mr.map_flags = DDI_MF_KERNEL_MAPPING;
mr.map_flags = DDI_MF_KERNEL_MAPPING;
mr.map_flags = DDI_MF_KERNEL_MAPPING;
mapreq.map_flags = DDI_MF_KERNEL_MAPPING;
mapreq.map_flags = DDI_MF_KERNEL_MAPPING;
if (mp->map_flags != DDI_MF_KERNEL_MAPPING)