| /f-stack/freebsd/amd64/vmm/ |
| H A D | vmm_ktr.h | 44 #define VCPU_CTR1(vm, vcpuid, format, p1) \ macro
|
| H A D | vmm.c | 1066 VCPU_CTR1(vm, vcpuid, "Setting nextrip to %#lx", val); in vm_set_register() 1193 VCPU_CTR1(vm, vcpuid, "vcpu state change from %s to " in vcpu_set_state_locked() 1486 VCPU_CTR1(vm, vcpuid, "inst_emul fault accessing gpa %#lx", gpa); in vm_handle_inst_emul() 1502 VCPU_CTR1(vm, vcpuid, "Error decoding instruction at %#lx", in vm_handle_inst_emul() 1513 VCPU_CTR1(vm, vcpuid, "nextrip updated to %#lx after instruction " in vm_handle_inst_emul() 1827 VCPU_CTR1(vm, vcpuid, "restarting instruction at %#lx by " in vm_restart_instruction() 2101 VCPU_CTR1(vm, vcpuid, "Exception %d pending", vector); in vm_inject_exception()
|
| /f-stack/freebsd/amd64/vmm/amd/ |
| H A D | svm.c | 295 VCPU_CTR1(sc->vm, vcpu, "tsc offset changed to %#lx", offset); in svm_set_tsc_offset() 1074 VCPU_CTR1(sc->vm, vcpu, "Setting intr_shadow to %d", newval); in svm_modify_intr_shadow() 1482 VCPU_CTR1(svm_sc->vm, vcpu, "rdmsr %#x", ecx); in svm_vmexit() 1601 VCPU_CTR1(svm_sc->vm, vcpu, "Injected entry intinfo: %#lx", intinfo); in svm_inj_intinfo() 1663 VCPU_CTR1(sc->vm, vcpu, "Cannot inject NMI due to " in svm_inj_interrupts() 1716 VCPU_CTR1(sc->vm, vcpu, "Cannot inject vector %d due to " in svm_inj_interrupts() 2105 VCPU_CTR1(vm, vcpu, "vmcb clean %#x", ctrl->vmcb_clean); in svm_run() 2108 VCPU_CTR1(vm, vcpu, "Resume execution at %#lx", state->rip); in svm_run() 2219 VCPU_CTR1(svm_sc->vm, vcpu, "svm_getreg: unknown register %#x", ident); in svm_getreg() 2260 VCPU_CTR1(svm_sc->vm, vcpu, "svm_setreg: unknown register %#x", ident); in svm_setreg()
|
| H A D | vmcb.c | 148 VCPU_CTR1(softc->vm, vcpu, in vmcb_access()
|
| /f-stack/freebsd/amd64/vmm/io/ |
| H A D | vlapic_priv.h | 92 VCPU_CTR1((vlapic)->vm, (vlapic)->vcpuid, format, p1)
|
| H A D | vrtc.c | 924 VCPU_CTR1(vm, vcpuid, "RTC reg_a set to %#x", *val); in vrtc_data_handler() 928 VCPU_CTR1(vm, vcpuid, "RTC reg_b set to %#x", *val); in vrtc_data_handler() 932 VCPU_CTR1(vm, vcpuid, "RTC reg_c set to %#x (ignored)", in vrtc_data_handler() 936 VCPU_CTR1(vm, vcpuid, "RTC reg_d set to %#x (ignored)", in vrtc_data_handler()
|
| H A D | vlapic.c | 589 VCPU_CTR1(vlapic->vm, vlapic->vcpuid, "EOI vector %d", in vlapic_process_eoi()
|
| /f-stack/freebsd/amd64/vmm/intel/ |
| H A D | vmx.c | 1230 VCPU_CTR1(vmx->vm, vcpu, "astpending vmexit at 0x%0lx", rip); in vmx_astpending_trace() 1479 VCPU_CTR1(vmx->vm, vcpu, "Cannot inject NMI " in vmx_inject_interrupts() 1483 VCPU_CTR1(vmx->vm, vcpu, "Cannot inject NMI due to " in vmx_inject_interrupts() 1591 VCPU_CTR1(vmx->vm, vcpu, "Injecting hwintr at vector %d", vector); in vmx_inject_interrupts() 2479 VCPU_CTR1(vmx->vm, vcpu, "rdmsr 0x%08x", ecx); in vmx_exit_process() 3172 VCPU_CTR1(vm, vcpu, "returning from vmx_run: exitcode %d", in vmx_run() 3647 VCPU_CTR1(vm, vcpuid, msg " pir0 0x%016lx", pir_desc->pir[0]); \ 3648 VCPU_CTR1(vm, vcpuid, msg " pir1 0x%016lx", pir_desc->pir[1]); \ 3649 VCPU_CTR1(vm, vcpuid, msg " pir2 0x%016lx", pir_desc->pir[2]); \ 3650 VCPU_CTR1(vm, vcpuid, msg " pir3 0x%016lx", pir_desc->pir[3]); \ [all …]
|