frame_as_dynframe

ostd::mm::kspace::kvirt_area

Function frame_as_dynframe 

Source 
pub open spec fn frame_as_dynframe<T: AnyFrameMeta>(frame: Frame<T>) -> DynFrame
Expand description
{
    DynFrame {
        ptr: frame.ptr,
        _marker: PhantomData,
    }
}

Spec representation of Frame as DynFrame (used when the actual conversion is opaque).