Lines Matching full:valid

23 /// `Bar` always holds an `IoRaw` inststance that holds a valid pointer to the start of the I/O
42         // `pdev` is valid by the invariants of `Device`.  in new()
44         // `name` is always valid.  in new()
51         // `pdev` is valid by the invariants of `Device`.  in new()
53         // `name` is always valid.  in new()
57             // `pdev` valid by the invariants of `Device`.  in new()
67                 // `pdev` is valid by the invariants of `Device`.  in new()
68                 // `ioptr` is guaranteed to be the start of a valid I/O mapped memory region.  in new()
84     /// `ioptr` must be a valid pointer to the memory mapped PCI BAR number `num`.
87         // `pdev` is valid by the invariants of `Device`.  in do_release()
88         // `ioptr` is valid by the safety requirements.  in do_release()
89         // `num` is valid by the safety requirements.  in do_release()