forked from Minki/linux
4357bd9453
Ahmed managed to crash the Host in release_pgd(), which cannot be a Guest
bug, and indeed it wasn't.
The bug was that handing a 0 as the address of the toplevel page table
being manipulated can cause the lookup code in find_pgdir() to return
an uninitialized cache entry (we shadow up to 4 top level page tables
for each Guest).
Commit
|
||
---|---|---|
.. | ||
boot.c | ||
i386_head.S | ||
Kconfig | ||
Makefile |