diff options
author | Takuya Yoshikawa <yoshikawa.takuya@oss.ntt.co.jp> | 2011-05-01 14:33:07 +0900 |
---|---|---|
committer | Avi Kivity <avi@redhat.com> | 2011-05-22 08:48:14 -0400 |
commit | c8cfbb555eb3632bf3dcbe1a591c1f4d0c28681c (patch) | |
tree | 4d7b9e26a8f1eee7c598bb132a6cd24e3aa4b211 /include/linux/resource.h | |
parent | 85722cda308c0ad7390dc910139b2ce58c11b9c4 (diff) |
KVM: MMU: Use ptep_user for cmpxchg_gpte()
The address of the gpte was already calculated and stored in ptep_user
before entering cmpxchg_gpte().
This patch makes cmpxchg_gpte() to use that to make it clear that we
are using the same address during walk_addr_generic().
Note that the unlikely annotations are used to show that the conditions
are something unusual rather than for performance.
Signed-off-by: Takuya Yoshikawa <yoshikawa.takuya@oss.ntt.co.jp>
Signed-off-by: Marcelo Tosatti <mtosatti@redhat.com>
Diffstat (limited to 'include/linux/resource.h')
0 files changed, 0 insertions, 0 deletions