/* * XXX This is bollocks, and is wrong on various architectures (should * work for x86; who knows what else), but bus_space_barrier won't work * because we have no bus space tag or handle or offset or anything. */