Function nr_subpage_per_huge_spec Copy item path

pub open spec fn nr_subpage_per_huge_spec<C: PagingConstsTrait>() -> usize

{ C::BASE_PAGE_SIZE() / C::PTE_SIZE() }