From da64b256d828a33ff5c3bd78b11aad3705056019 Mon Sep 17 00:00:00 2001 From: fche Date: Mon, 24 Sep 2007 18:16:16 +0000 Subject: Add /* pure */ to embedded-C functions. --- tapset/inet_sock.stp | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) (limited to 'tapset/inet_sock.stp') diff --git a/tapset/inet_sock.stp b/tapset/inet_sock.stp index b3daeb68..59ce7fea 100644 --- a/tapset/inet_sock.stp +++ b/tapset/inet_sock.stp @@ -24,7 +24,7 @@ // Get local port number function inet_get_local_port:long(sock:long) -%{ +%{ /* pure */ struct inet_sock *inet = (struct inet_sock *) (long) THIS->sock; THIS->__retvalue = kread(&(LPORT)); CATCH_DEREF_FAULT(); @@ -32,7 +32,7 @@ function inet_get_local_port:long(sock:long) // Get IP source address string function inet_get_ip_source:string(sock:long) -%{ +%{ /* pure */ struct inet_sock *inet = (struct inet_sock *) (long) THIS->sock; union { __u32 d; unsigned char addr[4]; } u; u.d = kread(DADDR); -- cgit