| /* | |
| * Copyright 2020, Data61, CSIRO (ABN 41 687 119 230) | |
| * | |
| * SPDX-License-Identifier: BSD-2-Clause | |
| */ | |
| #pragma once | |
| #include <platsupport/clock.h> | |
| int clockserver_interface_init(ps_io_ops_t *io_ops, | |
| int (*clockserver_init_clock)(clk_id_t id), | |
| int (*clockserver_set_gate_mode)(clock_gate_t gate, clock_gate_mode_t mode), | |
| freq_t (*clockserver_get_freq)(clk_id_t clk_id), | |
| freq_t (*clockserver_set_freq)(clk_id_t clk_id, freq_t hz), | |
| int (*clockserver_register_child)(clk_id_t parent, clk_id_t child), | |
| clock_sys_t *clock_sys); |