Home
last modified time | relevance | path

Searched refs:kill_guest (Results 1 – 7 of 7) sorted by relevance

/drivers/lguest/
Dhypercalls.c57 kill_guest(cpu, "already have lguest_data"); in do_hcall()
70 kill_guest(cpu, "CRASH: %s", msg); in do_hcall()
123 kill_guest(cpu, "Bad hypercall %li\n", args->arg0); in do_hcall()
172 kill_guest(cpu, "Fetching async hypercalls"); in do_async_hcalls()
181 kill_guest(cpu, "Writing result for async hypercall"); in do_async_hcalls()
205 kill_guest(cpu, "hypercall %li before INIT", cpu->hcall->arg0); in initialize()
210 kill_guest(cpu, "bad guest page %p", cpu->lg->lguest_data); in initialize()
217 kill_guest(cpu, "bad guest page %p", cpu->lg->lguest_data); in initialize()
307 kill_guest(cpu, "Writing timestamp"); in write_timestamp()
Dpage_tables.c229 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()
[all …]
Dinterrupts_and_traps.c169 kill_guest(cpu, "Disabling interrupts"); in guest_run_interrupt()
236 kill_guest(cpu, "Re-enabling interrupts"); in try_deliver_interrupt()
499 kill_guest(cpu, "bad stack segment %i", seg); in guest_set_stack()
502 kill_guest(cpu, "bad stack pages %u", pages); in guest_set_stack()
533 kill_guest(cpu, "bad IDT type %i", type); in set_trap()
571 kill_guest(cpu, "Setting idt entry %u", num); in load_guest_idt_entry()
Dcore.c190 kill_guest(cpu, "bad read address %#lx len %u", addr, bytes); in __lgread()
200 kill_guest(cpu, "bad write address %#lx len %u", addr, bytes); in __lgwrite()
Dsegments.c189 kill_guest(cpu, "too many gdt entries %i", num); in load_guest_gdt_entry()
Dlg.h247 #define kill_guest(cpu, fmt...) \ macro
/drivers/lguest/x86/
Dcore.c421 kill_guest(cpu, "Writing cr2"); in lguest_arch_handle_trap()
456 kill_guest(cpu, "unhandled trap %li at %#lx (%#lx)", in lguest_arch_handle_trap()
690 kill_guest(cpu, "bad syscall vector"); in lguest_arch_init_hypercalls()