Constant hvdef::HV_PAGE_SHIFT

pub const HV_PAGE_SHIFT: u64 = 12;