|
|
|
@ -1138,9 +1138,12 @@ Tries to disable OS caching on an opened file descriptor. */ |
|
|
|
void |
|
|
|
os_file_set_nocache( |
|
|
|
/*================*/ |
|
|
|
int fd, /* in: file descriptor to alter */ |
|
|
|
const char* file_name, /* in: used in the diagnostic message */ |
|
|
|
const char* operation_name) /* in: used in the diagnostic message, |
|
|
|
int fd /* in: file descriptor to alter */ |
|
|
|
__attribute__((unused)), |
|
|
|
const char* file_name /* in: used in the diagnostic message */ |
|
|
|
__attribute__((unused)), |
|
|
|
const char* operation_name __attribute__((unused))) |
|
|
|
/* in: used in the diagnostic message, |
|
|
|
we call os_file_set_nocache() |
|
|
|
immediately after opening or creating |
|
|
|
a file, so this is either "open" or |
|
|
|
|