kvm-s390.h (b0c632db637d68ad39d9f97f452ce176253f5f4e) kvm-s390.h (8f2abe6a1e525e878bdf58f68ccd146d543fde84)
1/*
2 * kvm_s390.h - definition for kvm on s390
3 *
4 * Copyright IBM Corp. 2008
5 *
6 * This program is free software; you can redistribute it and/or modify
7 * it under the terms of the GNU General Public License (version 2 only)
8 * as published by the Free Software Foundation.
9 *
10 * Author(s): Carsten Otte <cotte@de.ibm.com>
11 * Christian Borntraeger <borntraeger@de.ibm.com>
12 */
13
14#ifndef ARCH_S390_KVM_S390_H
15#define ARCH_S390_KVM_S390_H
1/*
2 * kvm_s390.h - definition for kvm on s390
3 *
4 * Copyright IBM Corp. 2008
5 *
6 * This program is free software; you can redistribute it and/or modify
7 * it under the terms of the GNU General Public License (version 2 only)
8 * as published by the Free Software Foundation.
9 *
10 * Author(s): Carsten Otte <cotte@de.ibm.com>
11 * Christian Borntraeger <borntraeger@de.ibm.com>
12 */
13
14#ifndef ARCH_S390_KVM_S390_H
15#define ARCH_S390_KVM_S390_H
16
17#include <linux/kvm_host.h>
18
19typedef int (*intercept_handler_t)(struct kvm_vcpu *vcpu);
20
21int kvm_handle_sie_intercept(struct kvm_vcpu *vcpu);
22
16#define VM_EVENT(d_kvm, d_loglevel, d_string, d_args...)\
17do { \
18 debug_sprintf_event(d_kvm->arch.dbf, d_loglevel, d_string "\n", \
19 d_args); \
20} while (0)
21
22#define VCPU_EVENT(d_vcpu, d_loglevel, d_string, d_args...)\
23do { \
24 debug_sprintf_event(d_vcpu->kvm->arch.dbf, d_loglevel, \
25 "%02d[%016lx-%016lx]: " d_string "\n", d_vcpu->vcpu_id, \
26 d_vcpu->arch.sie_block->gpsw.mask, d_vcpu->arch.sie_block->gpsw.addr,\
27 d_args); \
28} while (0)
29#endif
23#define VM_EVENT(d_kvm, d_loglevel, d_string, d_args...)\
24do { \
25 debug_sprintf_event(d_kvm->arch.dbf, d_loglevel, d_string "\n", \
26 d_args); \
27} while (0)
28
29#define VCPU_EVENT(d_vcpu, d_loglevel, d_string, d_args...)\
30do { \
31 debug_sprintf_event(d_vcpu->kvm->arch.dbf, d_loglevel, \
32 "%02d[%016lx-%016lx]: " d_string "\n", d_vcpu->vcpu_id, \
33 d_vcpu->arch.sie_block->gpsw.mask, d_vcpu->arch.sie_block->gpsw.addr,\
34 d_args); \
35} while (0)
36#endif