pub const PI_BSD_DOM1_PGS: u32 = 0x0460_001C;
PI_BSD_DOM1_PGS — domain-1 page size (2^(PGS+2) bytes).
PI_BSD_DOM1_PGS
2^(PGS+2)