Constant HYPERCALL_DBGPRINT 

pub const HYPERCALL_DBGPRINT: u64 = 0x746e697270676264;