| /* |
| * 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; |
| |
| mtime_init(); |
| |
| printk(BIOS_SPEW, "Time is %p and timecmp is %p\n", |
| HLS()->time, HLS()->timecmp); |
| } |