diff options
| author |   Xiao Guangrong <xiaoguangrong@linux.vnet.ibm.com> | 2012-07-17 21:52:52 +0800 |
|---|---|---|
| committer |   Marcelo Tosatti <mtosatti@redhat.com> | 2012-07-19 21:09:10 -0300 |
| commit | 86fde74cf5b829627b37ca86322acfdd99b524b8 (patch) | |
| tree | 0a30f492d7326f8fcb0fbb17c530e57166ab6d29 /include/linux | |
| parent | KVM: x86: remove unnecessary mark_page_dirty (diff) | |
KVM: MMU: track the refcount when unmap the page
It will trigger a WARN_ON if the page has been freed but it is still
used in mmu, it can help us to detect mm bug early
Signed-off-by: Xiao Guangrong <xiaoguangrong@linux.vnet.ibm.com>
Signed-off-by: Marcelo Tosatti <mtosatti@redhat.com>
Diffstat (limited to 'include/linux')
0 files changed, 0 insertions, 0 deletions