summaryrefslogtreecommitdiffstats
path: root/drivers/lguest/page_tables.c
AgeCommit message (Expand)AuthorFilesLines
2008-01-30lguest: use __PAGE_KERNEL instead of _PAGE_KERNELGlauber de Oliveira Costa1-2/+2
2008-01-30lguest: get rid of lg variable assignmentsGlauber de Oliveira Costa1-57/+58
2008-01-30lguest: change gpte_addr headerGlauber de Oliveira Costa1-4/+3
2008-01-30lguest: change spte_addr headerGlauber de Oliveira Costa1-4/+4
2008-01-30lguest: per-vcpu lguest pgdir managementGlauber de Oliveira Costa1-29/+30
2008-01-30lguest: makes special fields be per-vcpuGlauber de Oliveira Costa1-5/+6
2008-01-30lguest: make registers per-vcpuGlauber de Oliveira Costa1-1/+3
2008-01-30lguest: map_switcher_in_guest() per-vcpuGlauber de Oliveira Costa1-1/+2
2007-10-25lguest: documentation updateRusty Russell1-41/+72
2007-10-23generalize lgread_u32/lgwrite_u32.Rusty Russell1-5/+5
2007-10-23Boot with virtual == physical to get closer to native Linux.Rusty Russell1-7/+40
2007-10-23Rename "cr3" to "gpgdir" to avoid x86-specific naming.Rusty Russell1-9/+9
2007-10-23Pagetables to use normal kernel typesMatias Zabaljauregui1-103/+89
2007-10-23Introduce guest mem offset, static link example launcherRusty Russell1-2/+5
2007-07-26lguest: documentation VII: FIXMEsRusty Russell1-0/+5
2007-07-26lguest: documentation V: HostRusty Russell1-28/+286
2007-07-26lguest: documentation I: PreparationRusty Russell1-2/+8
2007-07-19lguest: the host codeRusty Russell1-0/+411