1.1 --- a/pkg/devices/lib/cpm/include/cpm-jz4780.h Wed Apr 24 00:47:34 2024 +0200
1.2 +++ b/pkg/devices/lib/cpm/include/cpm-jz4780.h Sat Apr 27 23:46:28 2024 +0200
1.3 @@ -1,7 +1,8 @@
1.4 /*
1.5 * CPM (clock and power management) support for the JZ4780.
1.6 *
1.7 - * Copyright (C) 2017, 2018, 2020, 2021, 2023 Paul Boddie <paul@boddie.org.uk>
1.8 + * Copyright (C) 2017, 2018, 2020, 2021, 2023,
1.9 + * 2024 Paul Boddie <paul@boddie.org.uk>
1.10 *
1.11 * This program is free software; you can redistribute it and/or
1.12 * modify it under the terms of the GNU General Public License as
1.13 @@ -43,7 +44,7 @@
1.14
1.15 #ifdef __cplusplus
1.16
1.17 -#include <l4/devices/cpm.h>
1.18 +#include <l4/devices/cpm-generic.h>
1.19
1.20 class Cpm_jz4780_chip : public Cpm_chip
1.21 {
1.22 @@ -51,6 +52,8 @@
1.23 explicit Cpm_jz4780_chip(l4_addr_t addr);
1.24 };
1.25
1.26 +Cpm_chip *jz4780_cpm_chip(l4_addr_t cpm_base);
1.27 +
1.28 #endif /* __cplusplus */
1.29
1.30