Constant XEN_DOMCTL_psr_alloc

pub const XEN_DOMCTL_psr_alloc: u32 = 78;