diff options
author | Damien Zammit <damien@zamaudio.com> | 2021-08-24 13:55:20 +0200 |
---|---|---|
committer | Samuel Thibault <samuel.thibault@ens-lyon.org> | 2021-08-24 13:55:20 +0200 |
commit | 517edb7fe7c614a683e18671afc52de8cabe8fdf (patch) | |
tree | 70724c8bbbcd7e58138d3c7d03b501096b8c83f6 /rumpdisk | |
parent | 3b378a6535bc8d9942875ba094301274819905e4 (diff) | |
download | hurd-517edb7fe7c614a683e18671afc52de8cabe8fdf.tar.gz hurd-517edb7fe7c614a683e18671afc52de8cabe8fdf.tar.bz2 hurd-517edb7fe7c614a683e18671afc52de8cabe8fdf.zip |
rumpdisk: Use raw uncached character device rwdXd
This disables the rump buffer cache and avoids any magic translation that
rump would do.
* rumpdisk/block-rump.c (translate_name): Use `/dev/r%sd' format instead of
`/dev/%sd'.
Diffstat (limited to 'rumpdisk')
-rw-r--r-- | rumpdisk/block-rump.c | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/rumpdisk/block-rump.c b/rumpdisk/block-rump.c index 92d099be..224e4e5b 100644 --- a/rumpdisk/block-rump.c +++ b/rumpdisk/block-rump.c @@ -86,12 +86,12 @@ search_bd (char *name) return NULL; } -/* BSD name of whole disk device is /dev/wdXd +/* BSD name of whole disk device is /dev/rwdXd * but we will receive wdX as the name */ static void translate_name (char *output, int len, char *name) { - snprintf (output, len - 1, "/dev/%sd", name); + snprintf (output, len - 1, "/dev/r%sd", name); } static boolean_t |