Constant membarrier_cmd_MEMBARRIER_CMD_GET_REGISTRATIONS 

pub const membarrier_cmd_MEMBARRIER_CMD_GET_REGISTRATIONS: membarrier_cmd = 512;