device_getrealloc
{ "getrealloc", "", device_getrealloc },
static void device_getrealloc(int, char *[]);