diskann_platform/
file_io_generic.rs

1pub unsafe fn read_file_to_slice<T>(
2    _file_handle: &crate::FileHandle,
3    _buffer_slice: &mut [T],
4    _overlapped: *mut std::ffi::c_void,
5    _offset: u64,
6) -> std::io::Result<bool> {
7    Err(std::io::Error::new(
8        std::io::ErrorKind::Unsupported,
9        "Not supported",
10    ))
11}
12pub unsafe fn get_io_completion_status(
13    _completion_port: &crate::IOCompletionPort,
14    _lp_number_of_bytes: &mut u32,
15    _lp_completion_key: &mut usize,
16    _lp_overlapped: *mut *mut std::ffi::c_void,
17    _dw_milliseconds: u32,
18) -> std::io::Result<bool> {
19    Err(std::io::Error::new(
20        std::io::ErrorKind::Unsupported,
21        "Not supported",
22    ))
23}