src/arch/riscv/include/arch/hlt.h

static inline __attribute__((always_inline)) void hlt(void)
{
        while(1);
}