Name

bio_copy_kern — copy kernel address into bio