Function axiom_vm_io_entry_new Copy item path

pub proof fn axiom_vm_io_entry_new<'a>(
    vm_space: VmSpaceId,
    kind: VmIoKind,
tracked     owner: VmIoOwner,
) -> tracked res : VmIoEntry

res.vm_space == vm_space,

res.kind == kind,

res.owner == owner,