4 * Copyright (C) 2009 Red Hat Inc.
5 * Copyright IBM, Corp. 2008
8 * Anthony Liguori <aliguori@us.ibm.com>
10 * This work is licensed under the terms of the GNU GPL, version 2 or later.
11 * See the COPYING file in the top-level directory.
18 void kvm_inject_x86_mce(CPUState
*cenv
, int bank
, uint64_t status
,
19 uint64_t mcg_status
, uint64_t addr
, uint64_t misc
,