Lines Matching refs:kill_guest
229 kill_guest(cpu, "failed to get page %lu", pte_pfn(gpte)); in gpte_to_spte()
267 kill_guest(cpu, "bad page table entry"); in check_gpte()
277 kill_guest(cpu, "bad page directory entry"); in check_gpgd()
288 kill_guest(cpu, "bad page middle directory entry"); in check_gpmd()
328 kill_guest(cpu, "out of memory allocating pte page"); in find_spte()
361 kill_guest(cpu, "out of memory allocating pmd page"); in find_spte()
583 kill_guest(cpu, "bad stack page %#lx", vaddr); in pin_page()
724 kill_guest(cpu, "Bad address %#lx", vaddr); in guest_pa()
857 kill_guest(cpu, "Cannot populate switcher mapping"); in guest_pagetable_clear_all()
902 kill_guest(cpu, "Cannot populate switcher mapping"); in guest_new_pagetable()
994 kill_guest(cpu, "attempt to set pte into Switcher pages"); in guest_set_pte()
1035 kill_guest(&lg->cpus[0], "Attempt to set pgd %u/%u", in guest_set_pgd()
1047 kill_guest(&lg->cpus[0], in guest_set_pgd()
1113 kill_guest(cpu, "bad guest page %p", cpu->lg->lguest_data); in page_table_guest_data_init()
1123 kill_guest(cpu, "bad kernel address %#lx", in page_table_guest_data_init()