riscv_ext_regs.sail\model - sail-riscv.git - Unnamed repository; edit this file 'description' to name the repository.

index : sail-riscv.git

Unnamed repository; edit this file 'description' to name the repository.

root

about summary refs log tree commit diff

path: root/model/riscv_ext_regs.sail

blob: 55600af9a98752a3a47f2a8268382e90ea3c3ace (plain)

/* This file contains register handling functions that can be
 * overridden by extensions.
 */

val ext_init_regs : unit -> unit effect {wreg}
function ext_init_regs () = ()