binder: Make sure user page map is in sync with kernel map before changing it.
commit6d119883fff4fe7e129e628e2304fe769228f37c
authorArve Hjønnevåg <arve@android.com>
Fri, 13 Jun 2008 02:11:17 +0000 (12 19:11 -0700)
committerBrian Swetland <swetland@google.com>
Fri, 4 Jul 2008 16:01:44 +0000 (4 09:01 -0700)
treece2d06697154121d4d9677b0a5e64a890abf37e9
parenta939d5f60fc077910d01b7b1c0a3b8dd501324a0
binder: Make sure user page map is in sync with kernel map before changing it.

Signed-off-by: Brian Swetland <swetland@google.com>
drivers/android/binder.c