Skip to main content

valid_frame_paddr

ostd::specs::arch

Function valid_frame_paddr 

Source 
pub open spec fn valid_frame_paddr(paddr: Paddr) -> bool
Expand description
{
    &&& paddr % PAGE_SIZE == 0
    &&& paddr < MAX_PADDR

}