2015-08-04 21:52:48 +00:00
|
|
|
#include <stdio.h>
|
|
|
|
#include <memory.h>
|
|
|
|
#include <malloc.h>
|
|
|
|
#include "vl.h"
|
|
|
|
|
|
|
|
void cpu_physical_memory_rw(uint32_t addr, uint8_t *buf,
|
|
|
|
int len, int is_write);
|
|
|
|
|
|
|
|
/* compute with 96 bit intermediate result: (a*b)/c */
|
|
|
|
uint64_t muldiv64(uint64_t a, uint32_t b, uint32_t c)
|
|
|
|
{
|
|
|
|
union {
|
|
|
|
uint64_t ll;
|
|
|
|
struct {
|
|
|
|
#ifdef WORDS_BIGENDIAN
|
|
|
|
uint32_t high, low;
|
|
|
|
#else
|
|
|
|
uint32_t low, high;
|
|
|
|
#endif
|
|
|
|
} l;
|
|
|
|
} u, res;
|
|
|
|
uint64_t rl, rh;
|
|
|
|
|
|
|
|
u.ll = a;
|
|
|
|
rl = (uint64_t)u.l.low * (uint64_t)b;
|
|
|
|
rh = (uint64_t)u.l.high * (uint64_t)b;
|
|
|
|
rh += (rl >> 32);
|
2016-06-29 17:58:14 +00:00
|
|
|
res.l.high = static_cast<uint32_t>(rh / c);
|
2015-08-04 21:52:48 +00:00
|
|
|
res.l.low = (((rh % c) << 32) + (rl & 0xffffffff)) / c;
|
|
|
|
return res.ll;
|
|
|
|
}
|