rec_vaddr

ostd::specs::mm::page_table

Function rec_vaddr 

Source 
pub open spec fn rec_vaddr(path: TreePath<NR_ENTRIES>, idx: int) -> usize
Expand description
{
    if idx == path.len() {
        0
    } else {
        let offset: usize = path.index(idx);
        (vaddr_make::<NR_LEVELS>(idx, offset) + rec_vaddr(path, idx + 1)) as usize
    }
}