/*
 * apei.h - ACPI Platform Error Interface
 */

#ifndef ACPI_APEI_H
#define ACPI_APEI_H

#include <xen/acpi.h>
#include <xen/cper.h>

#define APEI_ERST_INVALID_RECORD_ID	0xffffffffffffffffULL

#define FIX_APEI_RANGE_MAX 64

int erst_write(const struct cper_record_header *record);
size_t erst_get_record_count(void);
int erst_get_next_record_id(u64 *record_id);
size_t erst_read(u64 record_id, struct cper_record_header *record,
		  size_t buflen);
size_t erst_read_next(struct cper_record_header *record, size_t buflen);
int erst_clear(u64 record_id);

void __iomem *apei_pre_map(paddr_t paddr, unsigned long size);

int apei_pre_map_gar(struct acpi_generic_address *reg);
int apei_post_unmap_gar(struct acpi_generic_address *reg);

int apei_read(u64 *val, struct acpi_generic_address *reg);
int apei_write(u64 val, struct acpi_generic_address *reg);

#endif
