Allow unused unsafe for vxworks in read_at and write at · model-checking/verify-rust-std@22a6797

Original file line number	Diff line number	Diff line change
`@@ -120,6 +120,7 @@ impl FileDesc {`
`120`	`120`	`(&mut me).read_to_end(buf)`
`121`	`121`	`}`
`122`	`122`
	`123`	`+#[cfg_attr(target_os = "vxworks", allow(unused_unsafe))]`
`123`	`124`	`pub fn read_at(&self, buf: &mut [u8], offset: u64) -> io::Result<usize> {`
`124`	`125`	`#[cfg(not(any(`
`125`	`126`	`all(target_os = "linux", not(target_env = "musl")),`
`@@ -313,6 +314,7 @@ impl FileDesc {`
`313`	`314`	`cfg!(not(any(target_os = "espidf", target_os = "horizon", target_os = "vita")))`
`314`	`315`	`}`
`315`	`316`
	`317`	`+#[cfg_attr(target_os = "vxworks", allow(unused_unsafe))]`
`316`	`318`	`pub fn write_at(&self, buf: &[u8], offset: u64) -> io::Result<usize> {`
`317`	`319`	`#[cfg(not(any(`
`318`	`320`	`all(target_os = "linux", not(target_env = "musl")),`