Name

bio_map_kern — map kernel address into bio