pub open spec fn valid_frame_paddr(paddr: Paddr) -> bool
{ valid_frame_paddr_for::<CurrentArch>(paddr) }
A physical address that can identify a base-page frame on the selected architecture.