#ifndef HV_PSCI_H
#define HV_PSCI_H

#include "hv/vcpu.h"

bool psci_handle_call(struct vcpu *vcpu, uint64_t function_id);
void psci_dump(void);

#endif