#ifndef HV_GICV3_H
#define HV_GICV3_H

#include "hv/types.h"

struct vcpu;

void gicv3_init(void);
void gicv3_dump(void);
uint32_t gicv3_ack_irq(void);
void gicv3_eoi(uint32_t irq);
void gicv3_vcpu_init(void);
void gicv3_sync_vcpu_state(struct vcpu *vcpu);
void gicv3_flush_vcpu_state(struct vcpu *vcpu);

#endif