This seems to be the current name for the overload.

The following now works to run sail on every HVC call with hafnium

function gdb_init() -> unit = {
  // Connect to QEMU via GDB
  sail_gdb_qemu("");
  sail_gdb_symbol_file("hafnium.elf.sym");
  sail_gdb_send("break-insert sync_lower_exception")
}

function gdb() -> unit = {
  gdb_init();
  while true do {
    sail_gdb_send("exec-continue");
    sail_gdb_sync()
  }
}