device: cleanup

src/device/device.cpp

@@ -548,6 +548,16 @@ void Device::quit()
 		_console_server->close();
 }
 
+int Device::argc() const
+{
+	return _options._argc;
+}
+
+const char **Device::argv() const
+{
+	return (const char **)_options._argv;
+}
+
 void Device::pause()
 {
 	_paused = true;

src/device/device.h

@@ -78,16 +78,10 @@ struct Device
 	void run();
 
 	/// Returns the number of command line parameters.
-	int argc() const
-	{
-		return _options._argc;
-	}
+	int argc() const;
 
 	/// Returns command line parameters.
-	const char **argv() const
-	{
-		return (const char **)_options._argv;
-	}
+	const char **argv() const;
 
 	/// Quits the application.
 	void quit();