| // SPDX-License-Identifier: GPL-2.0-only |
| /* |
| * Copyright (C) Google, 2023 |
| * Author: Sebastian Ene <[email protected]> |
| */ |
| |
| #ifndef __KVM_PTDUMP_H |
| #define __KVM_PTDUMP_H |
| |
| #include <linux/kvm_host.h> |
| #include <asm/ptdump.h> |
| |
| |
| #ifdef CONFIG_PTDUMP_STAGE2_DEBUGFS |
| void kvm_ptdump_guest_register(struct kvm *kvm); |
| void kvm_ptdump_host_register(void); |
| #else |
| static inline void kvm_ptdump_guest_register(struct kvm *kvm) {} |
| static inline void kvm_ptdump_host_register(void) {} |
| #endif /* CONFIG_PTDUMP_STAGE2_DEBUGFS */ |
| |
| #endif /* __KVM_PTDUMP_H */ |
