Functionsยง
- lemma_
page_ size_ base - lemma_
page_ size_ div_ mul_ eq - lemma_
page_ size_ divides - lemma_
page_ size_ ge_ base - lemma_
page_ size_ is_ pow2_ pte_ index_ bit_ offset - lemma_
page_ size_ monotone - lemma_
page_ size_ next - lemma_
page_ size_ ratio - lemma_
page_ size_ spec_ values - lemma_
split_ sub_ page_ big_ j - lemma_
va_ align_ page_ size - lemma_
va_ align_ page_ size_ level_ 1 - lemma_
va_ plus_ page_ size_ no_ overflow