Use the correct number of bits for VTTBR_EL2.BADDR

rust-embedded / aarch64-cpu

Low level access to processors using the AArch64 execution state.

Apache License 2.0

73 stars 26 forks source link

Use the correct number of bits for VTTBR_EL2.BADDR #18

Closed mahircg-aws closed 1 year ago

mahircg-aws commented 1 year ago

According to section D19.2.166 "VTTBR_EL2, Virtualization Translation Table Base Register" of ARM ARM DDI 0487J.a, BADDR field of VTTBR_EL2 is 47 bits, not 48.