Removing debugging kprintf() in PTE race check.
authorMatthew Dillon <dillon@apollo.backplane.com>
Thu, 7 May 2009 22:31:24 +0000 (15:31 -0700)
committerMatthew Dillon <dillon@apollo.backplane.com>
Thu, 7 May 2009 22:31:24 +0000 (15:31 -0700)
commit8e5d01059b4ee0c1b9de2d82bc00d58bf62906bf
tree38d10df7aa00e0cb8c6a47c2bc34c23f148cd0c1
parent8f7e0ead65d56ea21f5da4a71e4b93ee9555208b
Removing debugging kprintf() in PTE race check.

After-testing-by: trevorjk
sys/platform/vkernel/platform/pmap.c