pub type XENSTORE_RING_IDX = u32;