pa_is_valid_kernel_address

ostd::specs::mm::page_table::node::entry_view

Function pa_is_valid_kernel_address 

Source 
pub open spec fn pa_is_valid_kernel_address(pa: int) -> bool
Expand description
{
    PHYSICAL_BASE_ADDRESS_SPEC() <= pa
        < PHYSICAL_BASE_ADDRESS_SPEC() + PAGE_SIZE * MAX_NR_PAGES as int
}