Home
last modified time | relevance | path

Searched refs:vki_s32 (Results 1 – 4 of 4) sorted by relevance

/dports/devel/valgrind-lts/valgrind-dragonfly-dragonfly/include/vki/
H A Dvki-mips32-linux.h63 typedef __signed int vki_s32; typedef
H A Dvki-mips64-linux.h68 typedef __signed int vki_s32; typedef
/dports/devel/valgrind/valgrind-dragonfly-dragonfly/include/vki/
H A Dvki-mips64-linux.h68 typedef __signed int vki_s32; typedef
H A Dvki-mips32-linux.h63 typedef __signed int vki_s32; typedef