// SPDX-License-Identifier: Apache-2.0
/*
 * The ChipTOD is the HW facility that maintains a synchronized
 * time base across the fabric.
 *
 * Copyright 2013-2019 IBM Corp.
 */

#ifndef __CHIPTOD_H
#define __CHIPTOD_H

enum chiptod_topology {
	chiptod_topo_unknown = -1,
	chiptod_topo_primary = 0,
	chiptod_topo_secondary = 1,
};

extern void chiptod_init(void);
extern bool chiptod_wakeup_resync(void);
extern int chiptod_recover_tb_errors(bool *out_resynced);
extern bool tfmr_recover_local_errors(uint64_t tfmr);
extern bool recover_corrupt_tfmr(void);
extern void tfmr_cleanup_core_errors(uint64_t tfmr);
extern int tfmr_clear_core_errors(uint64_t tfmr);
extern bool chiptod_adjust_topology(enum chiptod_topology topo, bool enable);
extern bool chiptod_capp_timebase_sync(unsigned int chip_id, uint32_t tfmr_addr,
				       uint32_t tb_addr, uint32_t offset);
extern int chiptod_recover_tod_errors(void);

#endif /* __CHIPTOD_H */