1 (* This file has been generated automatically
. DO NOT EDIT
! *)
2 (* [by Matthias Blume
's ml
-nlffigen (version
0.9.1) for x86
-unix
] *)
3 (* Send comments
and suggestions to blume@tti
-c
.org
. Thanks
! *)
4 local open C
.Dim C_Int
in
5 structure FPtrRTTI_39
= struct
6 fun mkcall
a (x1
, x2
, x3
, x4
, x5
, x6
, x7
)
11 (CMemory
.wrap_addr (reveal (Ptr
.inject
' x1
)),
12 CMemory
.wrap_addr (reveal (Ptr
.inject
' x2
)),
13 CMemory
.wrap_addr (reveal (Ptr
.inject
' x3
)),
14 CMemory
.wrap_addr (reveal (Ptr
.inject
' x4
)),
15 CMemory
.wrap_addr (reveal (Ptr
.inject
' x5
)),
16 CMemory
.wrap_addr (reveal (Ptr
.inject
' x6
)),
17 CMemory
.wrap_addr (reveal (Ptr
.inject
' x7
))),
27 ro uchar_obj ptr
' -> (ST_pg_conn
.tag
, rw
) su_obj ptr
') fptr T
.typ