50 lines
2.0 KiB
C
50 lines
2.0 KiB
C
/*
|
|
* Copyright (c) 2013, The Regents of the University of California (Regents).
|
|
* All Rights Reserved.
|
|
*
|
|
* Redistribution and use in source and binary forms, with or without
|
|
* modification, are permitted provided that the following conditions are met:
|
|
* 1. Redistributions of source code must retain the above copyright
|
|
* notice, this list of conditions and the following disclaimer.
|
|
* 2. Redistributions in binary form must reproduce the above copyright
|
|
* notice, this list of conditions and the following disclaimer in the
|
|
* documentation and/or other materials provided with the distribution.
|
|
* 3. Neither the name of the Regents nor the
|
|
* names of its contributors may be used to endorse or promote products
|
|
* derived from this software without specific prior written permission.
|
|
*
|
|
* IN NO EVENT SHALL REGENTS BE LIABLE TO ANY PARTY FOR DIRECT, INDIRECT,
|
|
* SPECIAL, INCIDENTAL, OR CONSEQUENTIAL DAMAGES, INCLUDING LOST PROFITS, ARISING
|
|
* OUT OF THE USE OF THIS SOFTWARE AND ITS DOCUMENTATION, EVEN IF REGENTS HAS
|
|
* BEEN ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
|
|
*
|
|
* REGENTS SPECIFICALLY DISCLAIMS ANY WARRANTIES, INCLUDING, BUT NOT LIMITED TO,
|
|
* THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR
|
|
* PURPOSE. THE SOFTWARE AND ACCOMPANYING DOCUMENTATION, IF ANY, PROVIDED
|
|
* HEREUNDER IS PROVIDED "AS IS". REGENTS HAS NO OBLIGATION TO PROVIDE
|
|
* MAINTENANCE, SUPPORT, UPDATES, ENHANCEMENTS, OR MODIFICATIONS.
|
|
*/
|
|
|
|
#include <arch/barrier.h>
|
|
#include <arch/errno.h>
|
|
#include <console/console.h>
|
|
#include <mcall.h>
|
|
#include <string.h>
|
|
#include <vm.h>
|
|
|
|
int mcalldebug; // set this interactively for copious debug.
|
|
|
|
void hls_init(uint32_t hart_id)
|
|
{
|
|
printk(BIOS_SPEW, "hart %d: HLS is %p\n", hart_id, HLS());
|
|
memset(HLS(), 0, sizeof(*HLS()));
|
|
HLS()->hart_id = hart_id;
|
|
|
|
/* Initialize these pointers with dummy values, for now */
|
|
HLS()->time = NULL;
|
|
HLS()->timecmp = NULL;
|
|
|
|
printk(BIOS_SPEW, "Time is %p and timecmp is %p\n",
|
|
HLS()->time, HLS()->timecmp);
|
|
}
|