diff .hgtags @ 4171:e40b961673f2

bitkeeper revision 1.1236.32.8 (4237887fr1Mo71Tp0RoJHmt875tSBg)

Added extra shadow_sync_mfn() in do_update_va_mapping to deal
with a shortcoming of the checking code in _check_pagetable.
Better to have a few more flushes and checking code that can
still be used. It would be even better to have smarter checking
code, but that will take more time.

Signed-off-by: michael.fetterman@cl.cam.ac.uk
author mafetter@fleming.research
date Wed Mar 16 01:14:39 2005 +0000 (2005-03-16)
parents 0a4b76b6b5a0
children 88387fe58b12 8b210df9a21a a01199a95070
line diff