| Damien | 429d719 | 2013-10-04 19:53:11 +0100 | [diff] [blame^] | 1 | typedef int64_t machine_int_t; // must be pointer size |
| 2 | typedef uint64_t machine_uint_t; // must be pointer size | ||||
| 3 | typedef void *machine_ptr_t; // must be of pointer size | ||||
| 4 | typedef double machine_float_t; | ||||