Constant XEN_DOMCTL_psr_alloc 

pub const XEN_DOMCTL_psr_alloc: u32 = 78;