Constant XENSTORE_RING_SIZE 

pub const XENSTORE_RING_SIZE: u32 = 1024;