const MAX_VCPU_DATAGRAM_SIZE: usize = 0x40000;