write_debugfs_file
int write_debugfs_file(const char *debugfs_file, const char *buf, size_t count);
return write_debugfs_file(debugfs_file, value, strlen(value));