Constant HYPERCALL_MANAGER_DOMAIN_NAME 

pub const HYPERCALL_MANAGER_DOMAIN_NAME: &'static str;