pub proof fn lemma_nr_subpage_per_huge_eq_nr_entries()Expand description
ensures
crate::mm::nr_subpage_per_huge::<PagingConsts>() == NR_ENTRIES,pub proof fn lemma_nr_subpage_per_huge_eq_nr_entries()crate::mm::nr_subpage_per_huge::<PagingConsts>() == NR_ENTRIES,