summaryrefslogtreecommitdiff
path: root/drivers/lguest/page_tables.c
AgeCommit message (Expand)Author
2008-02-09lguest: accept guest _PAGE_PWT page table entriesAhmed S. Darwish
2008-01-30lguest: use __PAGE_KERNEL instead of _PAGE_KERNELGlauber de Oliveira Costa
2008-01-30lguest: get rid of lg variable assignmentsGlauber de Oliveira Costa
2008-01-30lguest: change gpte_addr headerGlauber de Oliveira Costa
2008-01-30lguest: change spte_addr headerGlauber de Oliveira Costa
2008-01-30lguest: per-vcpu lguest pgdir managementGlauber de Oliveira Costa
2008-01-30lguest: makes special fields be per-vcpuGlauber de Oliveira Costa
2008-01-30lguest: make registers per-vcpuGlauber de Oliveira Costa
2008-01-30lguest: map_switcher_in_guest() per-vcpuGlauber de Oliveira Costa
2007-10-25lguest: documentation updateRusty Russell
2007-10-23generalize lgread_u32/lgwrite_u32.Rusty Russell
2007-10-23Boot with virtual == physical to get closer to native Linux.Rusty Russell
2007-10-23Rename "cr3" to "gpgdir" to avoid x86-specific naming.Rusty Russell
2007-10-23Pagetables to use normal kernel typesMatias Zabaljauregui
2007-10-23Introduce guest mem offset, static link example launcherRusty Russell
2007-07-26lguest: documentation VII: FIXMEsRusty Russell
2007-07-26lguest: documentation V: HostRusty Russell
2007-07-26lguest: documentation I: PreparationRusty Russell
2007-07-19lguest: the host codeRusty Russell