diff --git a/tcp.c b/tcp.c
index 29cda60..77c62f0 100644
--- a/tcp.c
+++ b/tcp.c
@@ -2144,7 +2144,7 @@ cancel:
  * @c:		Execution context
  * @ref:	epoll reference of timer (not connection)
  *
- * #syscalls timerfd_gettime i686:timerfd_gettime64
+ * #syscalls timerfd_gettime arm:timerfd_gettime64 i686:timerfd_gettime64
  */
 void tcp_timer_handler(struct ctx *c, union epoll_ref ref)
 {
diff --git a/udp.c b/udp.c
index 40107ce..8a93aad 100644
--- a/udp.c
+++ b/udp.c
@@ -460,7 +460,7 @@ static bool udp_sock_recverr(int s)
  * @events:	epoll events bitmap
  * @mmh		mmsghdr array to receive into
  *
- * #syscalls recvmmsg i686:recvmmsg_time64
+ * #syscalls recvmmsg arm:recvmmsg_time64 i686:recvmmsg_time64
  */
 static int udp_sock_recv(const struct ctx *c, int s, uint32_t events,
 			 struct mmsghdr *mmh)