1 files changed, 6 insertions, 0 deletions
diff --git a/sen.h b/sen.h
index 8af7d19d..a91c11d5 100644
--- a/sen.h
+++ b/sen.h
@@ -270,6 +270,7 @@ SEN_renameat,
 SEN_renameat2,
 SEN_request_key,
 SEN_restart_syscall,
+SEN_riscv_flush_icache,
 SEN_rmdir,
 SEN_rt_sigaction,
 SEN_rt_sigpending,
@@ -279,6 +280,11 @@ SEN_rt_sigreturn,
 SEN_rt_sigsuspend,
 SEN_rt_sigtimedwait,
 SEN_rt_tgsigqueueinfo,
+SEN_s390_guarded_storage,
+SEN_s390_pci_mmio_read,
+SEN_s390_pci_mmio_write,
+SEN_s390_runtime_instr,
+SEN_s390_sthyi,
 SEN_sched_get_priority_max,
 SEN_sched_get_priority_min,
 SEN_sched_getaffinity,