2013-01-17 05:23:46 +01:00
|
|
|
/*
|
|
|
|
* Virtio interfaces for s390
|
|
|
|
*
|
|
|
|
* Copyright 2012 IBM Corp.
|
|
|
|
* Author(s): Cornelia Huck <cornelia.huck@de.ibm.com>
|
|
|
|
*
|
|
|
|
* This work is licensed under the terms of the GNU GPL, version 2 or (at
|
|
|
|
* your option) any later version. See the COPYING file in the top-level
|
|
|
|
* directory.
|
|
|
|
*/
|
|
|
|
|
|
|
|
#ifndef HW_S390_VIRTIO_H
|
2016-06-29 15:29:06 +02:00
|
|
|
#define HW_S390_VIRTIO_H
|
2013-01-17 05:23:46 +01:00
|
|
|
|
2014-08-20 14:16:35 +02:00
|
|
|
#include "hw/nmi.h"
|
2015-02-16 22:36:58 +01:00
|
|
|
#include "standard-headers/asm-s390/kvm_virtio.h"
|
|
|
|
#include "standard-headers/asm-s390/virtio-ccw.h"
|
2013-01-17 05:23:46 +01:00
|
|
|
|
|
|
|
typedef int (*s390_virtio_fn)(const uint64_t *args);
|
|
|
|
void s390_register_virtio_hypercall(uint64_t code, s390_virtio_fn fn);
|
|
|
|
|
2016-03-04 18:34:29 +01:00
|
|
|
void s390_init_cpus(MachineState *machine);
|
2013-01-24 03:28:09 +01:00
|
|
|
void s390_init_ipl_dev(const char *kernel_filename,
|
|
|
|
const char *kernel_cmdline,
|
2013-04-22 16:52:53 +02:00
|
|
|
const char *initrd_filename,
|
2015-02-12 18:02:13 +01:00
|
|
|
const char *firmware,
|
|
|
|
bool enforce_bios);
|
2013-01-24 03:28:09 +01:00
|
|
|
void s390_create_virtio_net(BusState *bus, const char *name);
|
2014-08-20 14:16:35 +02:00
|
|
|
void s390_nmi(NMIState *n, int cpu_index, Error **errp);
|
2015-07-21 13:47:32 +02:00
|
|
|
void s390_machine_reset(void);
|
2015-05-29 15:01:55 +02:00
|
|
|
void s390_memory_init(ram_addr_t mem_size);
|
2013-01-17 05:23:46 +01:00
|
|
|
#endif
|