sel4

Module vspace_levels

Source
Expand description

Items describing the layout of address translation structures for this kernel configuration.

Constants§

  • Highest level of translation table whose entries can be pages rather than lower-level translation tables.
  • The maximum number of levels of translation tables for this kernel configuration.

Functions§

  • The number of address bits spanned by the given translation table level.
  • The number of address bits spanned by entries of the given translation table level.