VG_(printf)(" ipsS[%d]=%#08lx rbp %#08lx rsp %#08lx\n",
i-1, ips[i-1], uregs.xbp, uregs.xsp);
-# if defined(VGO_darwin) || (defined(VGO_freebsd) && (FREEBSD_VERS < FREEBSD_13))
+# if defined(VGO_darwin) || (defined(VGO_freebsd) && (FREEBSD_VERS < FREEBSD_13_0))
if (VG_(is_valid_tid)(tid_if_known) &&
VG_(is_in_syscall)(tid_if_known) &&
i < max_n_ips) {
POST_MEM_WRITE( ARG1, sizeof(struct vki_ucontext) );
}
+// @todo PJF In FreeBSD 14 and onwards this is SYS_freebsd13_swapoff
// SYS_swapoff 424
// int swapoff(const char *special);
PRE(sys_swapoff)
PRE_MEM_READ("__specialfd(req)", (Addr)ARG2, ARG3);
}
-#endif // (FREEBSD_VERS >= FREEBSD_13)
+#endif // (FREEBSD_VERS >= FREEBSD_13_0)
#undef PRE
#undef POST
// unimpl __NR_aio_readv 579
#endif
+#if (FREEBSD_VERS >= FREEBSD_14)
+ // unimpl __NR_fspacectl 580
+ // unimpl __NR_sched_getcpu 581
+ // unimpl __NR_swapoff 582
+#endif
+
BSDX_(__NR_fake_sigreturn, sys_fake_sigreturn), // 1000, fake sigreturn
};