hart.c

// Copyright lowRISC contributors (OpenTitan project).
// Licensed under the Apache License, Version 2.0, see LICENSE for details.
// SPDX-License-Identifier: Apache-2.0
 
#include "sw/device/lib/runtime/hart.h"
 
#include <stdbool.h>
 
#include "sw/device/lib/arch/device.h"
#include "sw/device/lib/base/math.h"
#include "sw/device/lib/runtime/ibex.h"
 
void busy_spin_micros(uint32_t usec) {
  uint64_t start = ibex_mcycle_read();
  uint64_t cycles = to_cpu_cycles(usec);
  while ((ibex_mcycle_read() - start) < cycles) {
  }
}
 
noreturn void abort(void) {
  while (true) {
    wait_for_interrupt();
  }
}
 
// `extern` declarations to give the inline functions in the
// corresponding header a link location.
 
extern void wait_for_interrupt(void);
extern void icache_invalidate(void);