device_setrealloc
{ "setrealloc", "none|r|w|rw [save]", device_setrealloc },
static void device_setrealloc(int, char *[]);