inline void
__BS(write_8)(void *v, bus_space_handle_t h, bus_size_t off, uint64_t val)
{
	volatile uint64_t *ptr;

	ptr = (void *)(h + CHIP_OFF64(off));
	*ptr = CHIP_SWAP64(val);
}
inline uint64_t
__BS(read_8)(void *v, bus_space_handle_t h, bus_size_t off)
{
	volatile uint64_t *ptr;

	ptr = (void *)(h + CHIP_OFF64(off));
	return CHIP_SWAP64(*ptr);
}
static void
__BS(write_8)(void *v, bus_space_handle_t h, bus_size_t off, uint64_t val)
{
#ifdef MIPS3_64BIT
	KASSERT((h & 7) == 0);
	KASSERT((off & 7) == 0);

	h += CHIP_OFF64(off);
	mips3_sd(h, CHIP_SWAP64(val));
#else
	panic("%s: not implemented!", __func__);
#endif
}