summaryrefslogtreecommitdiff
path: root/aarch64/elfmain.sail
diff options
context:
space:
mode:
Diffstat (limited to 'aarch64/elfmain.sail')
-rw-r--r--aarch64/elfmain.sail2
1 files changed, 0 insertions, 2 deletions
diff --git a/aarch64/elfmain.sail b/aarch64/elfmain.sail
index 44b6c14a..24579b79 100644
--- a/aarch64/elfmain.sail
+++ b/aarch64/elfmain.sail
@@ -13,8 +13,6 @@ let CNT_IRQ = [0x0000_000d, 0x0000_000a, 0x0000_03ff, 0x000
// SGI Interrupts are 0-15, PPI interrupts are 16-31, so SPI interrupts have an offset of 32.
let SPI_OFFSET = 32
-val get_cycle_count = { c: "get_cycle_count" } : unit -> int effect {undef, wreg, rreg, rmem, wmem}
-
// Advance CPU by one cycle
val Step_CPU : unit -> unit effect {escape, undef, wreg, rreg, rmem, wmem}