Constant HVCALL_POST_MESSAGE 

pub const HVCALL_POST_MESSAGE: u32 = 92;