thunk_assert_presence
thunk_assert_presence((vaddr_t) bp->b_data, (size_t) bp->b_bcount);
thunk_assert_presence((vaddr_t) kreq.databuf,
int thunk_assert_presence(vaddr_t from, size_t size);