VFP: Changed function definitions to use s32/u32/u64 instead of int32_t/uint32_t/uint64_t.