global start;

function print_ts(str) {
  now = gettimeofday_ns() / (1000*1000)

  delta = (now - start)

  printf("%3d.%03d %s\n",
         (delta / 1000), (delta % 1000), str);
}

probe process("qemu-system-x86_64").mark("main_start") {
  start = gettimeofday_ns() / (1000*1000);
  print_ts("Start");
}
probe process("qemu-system-x86_64").mark("main_loop") {
  print_ts("Run");
}
probe process("qemu-system-x86_64").mark("main_stop") {
  print_ts("Stop");
}
probe process("qemu-system-x86_64").mark("qemu_shutdown_request") {
  print_ts("Shutdown request");
}
probe process("qemu-system-x86_64").mark("qemu_powerdown_request") {
  print_ts("Powerdown request");
}

probe process("qemu-system-x86_64").mark("seabios_post") {
  print_ts("BIOS post");
}

probe process("qemu-system-x86_64").mark("seabios_int_18") {
  print_ts("BIOS int 18");
}

probe process("qemu-system-x86_64").mark("seabios_int_19") {
  print_ts("BIOS int 19");
}

probe process("qemu-system-x86_64").mark("seabios_boot_OS") {
  print_ts("BIOS boot OS");
}


probe process("qemu-system-x86_64").mark("linuxboot_copy_kernel") {
  print_ts("LinuxBoot copy kernel");
}

probe process("qemu-system-x86_64").mark("linuxboot_copy_initrd") {
  print_ts("LinuxBoot copy initrd");
}

probe process("qemu-system-x86_64").mark("linuxboot_boot_OS") {
  print_ts("LinuxBoot boot OS");
}