minix/kernel/arch
Arun Thomas aaaad89244 Use int64 functions consistently
Instead of manipulating the u64_t type directly, use the
ex64hi()/ex64lo()/make64() functions.
2010-11-07 23:35:29 +00:00
..
i386 Use int64 functions consistently 2010-11-07 23:35:29 +00:00