2016-06-29 13:47:03 +02:00
|
|
|
#ifndef OPENPIC_H
|
|
|
|
#define OPENPIC_H
|
2009-03-02 17:42:04 +01:00
|
|
|
|
2013-04-15 15:19:32 +02:00
|
|
|
#include "qemu-common.h"
|
2014-06-27 08:40:04 +02:00
|
|
|
#include "hw/qdev-core.h"
|
2015-12-04 11:10:07 +01:00
|
|
|
#include "qom/cpu.h"
|
2013-04-15 15:19:32 +02:00
|
|
|
|
2013-06-18 03:58:07 +02:00
|
|
|
#define TYPE_OPENPIC "openpic"
|
|
|
|
|
2009-03-02 17:42:04 +01:00
|
|
|
/* OpenPIC have 5 outputs per CPU connected and one IRQ out single output */
|
|
|
|
enum {
|
|
|
|
OPENPIC_OUTPUT_INT = 0, /* IRQ */
|
|
|
|
OPENPIC_OUTPUT_CINT, /* critical IRQ */
|
|
|
|
OPENPIC_OUTPUT_MCK, /* Machine check event */
|
|
|
|
OPENPIC_OUTPUT_DEBUG, /* Inconditional debug event */
|
|
|
|
OPENPIC_OUTPUT_RESET, /* Core reset event */
|
|
|
|
OPENPIC_OUTPUT_NB,
|
|
|
|
};
|
|
|
|
|
2012-12-08 05:17:14 +01:00
|
|
|
#define OPENPIC_MODEL_RAVEN 0
|
|
|
|
#define OPENPIC_MODEL_FSL_MPIC_20 1
|
2013-01-21 16:53:53 +01:00
|
|
|
#define OPENPIC_MODEL_FSL_MPIC_42 2
|
2012-12-07 23:51:09 +01:00
|
|
|
|
2013-04-15 15:19:32 +02:00
|
|
|
#define OPENPIC_MAX_SRC 256
|
|
|
|
#define OPENPIC_MAX_TMR 4
|
|
|
|
#define OPENPIC_MAX_IPI 4
|
|
|
|
#define OPENPIC_MAX_IRQ (OPENPIC_MAX_SRC + OPENPIC_MAX_IPI + \
|
|
|
|
OPENPIC_MAX_TMR)
|
|
|
|
|
2013-06-16 21:30:40 +02:00
|
|
|
#define TYPE_KVM_OPENPIC "kvm-openpic"
|
2013-06-12 22:32:51 +02:00
|
|
|
int kvm_openpic_connect_vcpu(DeviceState *d, CPUState *cs);
|
2013-04-15 15:19:32 +02:00
|
|
|
|
2016-06-29 13:47:03 +02:00
|
|
|
#endif /* OPENPIC_H */
|