18parse_int_optstring(
char const *optstring,
int *out);
22 using Ds_vector = std::vector<L4::Cap<L4Re::Dataspace>>;
24 int get_max_ports()
const
25 {
return _max_ports; }
27 int get_virtq_max_num()
const
28 {
return _virtq_max_num; }
30 int get_portq_max_num()
const
31 {
return _portq_max_num; }
33 int get_request_timeout()
const
34 {
return _request_timeout; }
36 int assign_mac()
const
37 {
return _assign_mac; }
39 static Options
const *
40 parse_options(
int argc,
char **argv,
41 std::shared_ptr<Ds_vector> trusted_dataspaces);
42 static Options
const *get_options();
46 int _virtq_max_num = 0x100;
47 int _portq_max_num = 50;
48 int _request_timeout = 1 * 1000 * 1000;
49 bool _assign_mac =
false;
51 int parse_cmd_line(
int argc,
char **argv,
52 std::shared_ptr<Ds_vector> trusted_dataspaces);