Home
last modified time | relevance | path

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

/drivers/lguest/
Dhypercalls.c43 kill_guest(cpu, "already have lguest_data"); in do_hcall()
53 kill_guest(cpu, "CRASH: %s", msg); in do_hcall()
98 kill_guest(cpu, "Bad hypercall %li\n", args->arg0); in do_hcall()
140 kill_guest(cpu, "Fetching async hypercalls"); in do_async_hcalls()
149 kill_guest(cpu, "Writing result for async hypercall"); in do_async_hcalls()
167 kill_guest(cpu, "hypercall %li before INIT", cpu->hcall->arg0); in initialize()
172 kill_guest(cpu, "bad guest page %p", cpu->lg->lguest_data); in initialize()
178 kill_guest(cpu, "bad guest page %p", cpu->lg->lguest_data); in initialize()
250 kill_guest(cpu, "Writing timestamp"); in write_timestamp()
Dpage_tables.c78 kill_guest(cpu, "attempt to access switcher pages"); in spgd_addr()
158 kill_guest(cpu, "failed to get page %lu", pte_pfn(gpte)); in gpte_to_spte()
182 kill_guest(cpu, "bad page table entry"); in check_gpte()
189 kill_guest(cpu, "bad page directory entry"); in check_gpgd()
224 kill_guest(cpu, "out of memory allocating pte page"); in demand_page()
322 kill_guest(cpu, "bad stack page %#lx", vaddr); in pin_page()
377 kill_guest(cpu, "Bad address %#lx", vaddr); in guest_pa()
381 kill_guest(cpu, "Bad address %#lx", vaddr); in guest_pa()
678 kill_guest(cpu, "bad guest page %p", cpu->lg->lguest_data); in page_table_guest_data_init()
684 kill_guest(cpu, "bad kernel address %#lx", in page_table_guest_data_init()
Dinterrupts_and_traps.c124 kill_guest(cpu, "Disabling interrupts"); in set_guest_interrupt()
165 kill_guest(cpu, "Re-enabling interrupts"); in maybe_do_interrupt()
344 kill_guest(cpu, "bad stack segment %i", seg); in guest_set_stack()
347 kill_guest(cpu, "bad stack pages %u", pages); in guest_set_stack()
374 kill_guest(cpu, "bad IDT type %i", type); in set_trap()
404 kill_guest(cpu, "Setting idt entry %u", num); in load_guest_idt_entry()
Dcore.c170 kill_guest(cpu, "bad read address %#lx len %u", addr, bytes); in __lgread()
180 kill_guest(cpu, "bad write address %#lx len %u", addr, bytes); in __lgwrite()
Dsegments.c154 kill_guest(cpu, "too many gdt entries %i", num); in load_guest_gdt()
Dlg.h225 #define kill_guest(cpu, fmt...) \ macro
/drivers/lguest/x86/
Dcore.c329 kill_guest(cpu, "Writing cr2"); in lguest_arch_handle_trap()
357 kill_guest(cpu, "unhandled trap %li at %#lx (%#lx)", in lguest_arch_handle_trap()
556 kill_guest(cpu, "bad syscall vector"); in lguest_arch_init_hypercalls()