pub const XENSTORE_RING_SIZE: u32 = 1024;