t32mppc/clock/clock-config.c

0001 /* SPDX-License-Identifier: BSD-2-Clause */
0002
0003 /*
0004  * Copyright (C) 2011, 2017 embedded brains GmbH & Co. KG
0005  *
0006  * Redistribution and use in source and binary forms, with or without
0007  * modification, are permitted provided that the following conditions
0008  * are met:
0009  * 1. Redistributions of source code must retain the above copyright
0010  *    notice, this list of conditions and the following disclaimer.
0011  * 2. Redistributions in binary form must reproduce the above copyright
0012  *    notice, this list of conditions and the following disclaimer in the
0013  *    documentation and/or other materials provided with the distribution.
0014  *
0015  * THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS "AS IS"
0016  * AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE
0017  * IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE
0018  * ARE DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT OWNER OR CONTRIBUTORS BE
0019  * LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR
0020  * CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF
0021  * SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS
0022  * INTERRUPTION) HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN
0023  * CONTRACT, STRICT LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE)
0024  * ARISING IN ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE
0025  * POSSIBILITY OF SUCH DAMAGE.
0026  */
0027
0028 #include <rtems/timecounter.h>
0029
0030 #include <libcpu/powerpc-utility.h>
0031
0032 #include <bsp.h>
0033 #include <bsp/irq.h>
0034
0035 /* This is defined in dev/clock/clockimpl.h */
0036 static rtems_isr Clock_isr(void *arg);
0037
0038 static struct timecounter t32mppc_clock_tc;
0039
0040 #define CLOCK_DRIVER_USE_ONLY_BOOT_PROCESSOR
0041
0042 void t32mppc_decrementer_dispatch(void)
0043 {
0044   PPC_SET_SPECIAL_PURPOSE_REGISTER(BOOKE_TSR, BOOKE_TSR_DIS);
0045   Clock_isr(NULL);
0046 }
0047
0048 static uint32_t t32mppc_clock_get_timecount(struct timecounter *tc)
0049 {
0050   return ppc_time_base();
0051 }
0052
0053 static void t32mppc_clock_initialize(void)
0054 {
0055   uint64_t frequency = bsp_time_base_frequency / 10;
0056   uint32_t us_per_tick = rtems_configuration_get_microseconds_per_tick();
0057   uint32_t interval = (uint32_t) ((frequency * us_per_tick) / 1000000);
0058
0059   PPC_SET_SPECIAL_PURPOSE_REGISTER(BOOKE_DECAR, interval - 1);
0060   PPC_SET_SPECIAL_PURPOSE_REGISTER_BITS(
0061     BOOKE_TCR,
0062     BOOKE_TCR_DIE | BOOKE_TCR_ARE
0063   );
0064   ppc_set_decrementer_register(interval - 1);
0065
0066   t32mppc_clock_tc.tc_get_timecount = t32mppc_clock_get_timecount;
0067   t32mppc_clock_tc.tc_counter_mask = 0xffffffff;
0068   t32mppc_clock_tc.tc_frequency = bsp_time_base_frequency;
0069   t32mppc_clock_tc.tc_quality = RTEMS_TIMECOUNTER_QUALITY_CLOCK_DRIVER;
0070   rtems_timecounter_install(&t32mppc_clock_tc);
0071 }
0072
0073 #define Clock_driver_support_initialize_hardware() \
0074   t32mppc_clock_initialize()
0075
0076 /* Include shared source clock driver code */
0077 #include "../../../shared/dev/clock/clockimpl.h"