| // Copyright 2018 The Fuchsia Authors |
| // |
| // Use of this source code is governed by a MIT-style |
| // license that can be found in the LICENSE file or at |
| // https://opensource.org/licenses/MIT |
| |
| #ifndef ZIRCON_KERNEL_HYPERVISOR_INCLUDE_HYPERVISOR_KTRACE_H_ |
| #define ZIRCON_KERNEL_HYPERVISOR_INCLUDE_HYPERVISOR_KTRACE_H_ |
| |
| #include <stdint.h> |
| |
| enum VcpuMeta : uint32_t { |
| // Waits. |
| VCPU_INTERRUPT, |
| VCPU_PORT, |
| |
| // Do not use. |
| VCPU_META_COUNT, |
| }; |
| |
| enum VcpuExit : uint32_t { |
| #if ARCH_ARM64 |
| VCPU_UNDERFLOW_MAINTENANCE_INTERRUPT, |
| VCPU_PHYSICAL_INTERRUPT, |
| VCPU_WFI_INSTRUCTION, |
| VCPU_WFE_INSTRUCTION, |
| VCPU_SMC_INSTRUCTION, |
| VCPU_SYSTEM_INSTRUCTION, |
| VCPU_INSTRUCTION_ABORT, |
| VCPU_DATA_ABORT, |
| #elif ARCH_X86 |
| VCPU_EXTERNAL_INTERRUPT, |
| VCPU_INTERRUPT_WINDOW, |
| VCPU_CPUID, |
| VCPU_HLT, |
| VCPU_CONTROL_REGISTER_ACCESS, |
| VCPU_IO_INSTRUCTION, |
| VCPU_RDMSR, |
| VCPU_WRMSR, |
| VCPU_VM_ENTRY_FAILURE, |
| VCPU_EPT_VIOLATION, |
| VCPU_XSETBV, |
| VCPU_PAUSE, |
| VCPU_VMCALL, |
| #endif |
| VCPU_UNKNOWN, |
| VCPU_FAILURE, |
| |
| // Do not use. |
| VCPU_EXIT_COUNT, |
| }; |
| |
| void ktrace_report_vcpu_meta(); |
| void ktrace_vcpu(uint32_t tag, VcpuMeta meta); |
| void ktrace_vcpu_exit(VcpuExit exit, uint64_t exit_address); |
| |
| #endif // ZIRCON_KERNEL_HYPERVISOR_INCLUDE_HYPERVISOR_KTRACE_H_ |