device_flushcache
{ "flushcache", "", device_flushcache },
static void device_flushcache(int, char *[]);