On Mon, Dec 16, 2019 at 04:31:50PM +0100, Paolo Bonzini wrote:> No u64, please. u32 I can agree with, 16-bit *should* be enough but it> is a bit tight, so let's make it 32-bit if we drop the union idea.Sure.-- Peter Xu