umm.. That will be the case practically 100% of the time in this
application, won't it?
Looks like you'll need to do a __get_user() against the page to
populate the tlb. We're going to need it in the copy_to_user()
anyway, so the cost is negligible.
To unsubscribe from this list: send the line "unsubscribe linux-kernel" in
the body of a message to firstname.lastname@example.org
More majordomo info at http://vger.kernel.org/majordomo-info.html
Please read the FAQ at http://www.tux.org/lkml/