Represents a contiguous region of memory containing registers. Contained
registers are accessed via MmioBank::at and must feature access
permissions narrower than MaxAccess.
A tag for safe register write access: this is when writes to the register
are statically known to be sound (e.g., in the cases of MMIO that lights up
an LED or a performance counter system register).
A tag for unsafe register write access: this is when writes to the register
may contextually violate the memory model (e.g., system register that
toggles the MMU or in modeling a page table entry as a register). In such
cases, the user must attest to any given write being sound.
A convenience supertrait for the traits expected of layout types over a
specific base type. This is not intended to be implemented explicitly, only
through its blanket implementation.