Constant HV_PAGE_SHIFT 

pub const HV_PAGE_SHIFT: u64 = 12;