xen/start/bspstart.c

0001 /*
0002  * SPDX-License-Identifier: BSD-2-Clause
0003  *
0004  * Copyright (C) 2019 DornerWorks
0005  * Written by Jeff Kubascik <jeff.kubascik@dornerworks.com>
0006  *
0007  * Redistribution and use in source and binary forms, with or without
0008  * modification, are permitted provided that the following conditions
0009  * are met:
0010  * 1. Redistributions of source code must retain the above copyright
0011  *    notice, this list of conditions and the following disclaimer.
0012  * 2. Redistributions in binary form must reproduce the above copyright
0013  *    notice, this list of conditions and the following disclaimer in the
0014  *    documentation and/or other materials provided with the distribution.
0015  *
0016  * THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS "AS IS"
0017  * AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE
0018  * IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE
0019  * ARE DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT OWNER OR CONTRIBUTORS BE
0020  * LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR
0021  * CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF
0022  * SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS
0023  * INTERRUPTION) HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN
0024  * CONTRACT, STRICT LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE)
0025  * ARISING IN ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE
0026  * POSSIBILITY OF SUCH DAMAGE.
0027  */
0028
0029 #include <bsp.h>
0030 #include <bsp/bootcard.h>
0031 #include <bsp/irq-generic.h>
0032 #include <bsp/linker-symbols.h>
0033 #include <dev/clock/arm-generic-timer.h>
0034
0035 #include <libcpu/arm-cp15.h>
0036
0037 void arm_generic_timer_get_config( uint32_t *frequency, uint32_t *irq )
0038 {
0039   *frequency = arm_cp15_get_counter_frequency();
0040
0041 #ifdef ARM_GENERIC_TIMER_USE_VIRTUAL
0042   *irq = GUEST_TIMER_VIRT_PPI;
0043 #else
0044   *irq = GUEST_TIMER_PHYS_NS_PPI;
0045 #endif
0046 }
0047
0048 /*
0049  *  bsp_start
0050  *
0051  *  This routine does the bulk of the system initialization.
0052  */
0053
0054 void bsp_start( void )
0055 {
0056   bsp_interrupt_initialize();
0057   rtems_cache_coherent_add_area(
0058     bsp_section_nocacheheap_begin,
0059     (uintptr_t) bsp_section_nocacheheap_size
0060   );
0061 }