Justin C. Miller 1d7d5e8015 [tools] Allow for pointer-to-integer types in .def files ...

The upcoming futex syscalls will be easier to use (and to auto verify)
if passed a pointer instead of an address, this allows for changing a
`Primitive` to a `PrimitiveRef` by adding a `*` to the end.

2023-03-16 19:56:14 -07:00

..

definitions.g

[tools] Allow for pointer-to-integer types in .def files

2023-03-16 19:56:14 -07:00