Function tracked_vm_io_entry_new Copy item path

pub proof fn tracked_vm_io_entry_new<'a>(
    vm_space: Option<VmSpaceId>,
    kind: VmIoKind,
    vaddr: Vaddr,
    len: usize,
    tracked owner: VmIoOwner,
) -> tracked VmIoEntry

(VmIoEntry {
    vm_space,
    kind,
    vaddr,
    len,
    owner,
}),