static uint64_t ioport80_read(void *opaque, hwaddr addr, unsigned size)
{
- return 0xffffffffffffffff;
+ return 0xffffffffffffffffULL;
}
/* MSDOS compatibility mode FPU exception support */
static uint64_t ioportF0_read(void *opaque, hwaddr addr, unsigned size)
{
- return 0xffffffffffffffff;
+ return 0xffffffffffffffffULL;
}
/* TSC handling */