char *label;
char *bootorder;
char *testfile;
+ char *extra_opts_file;
uint32_t part;
int edd_version;
int edd10_devicenum;
unsigned int unicode:1;
unsigned int write_signature:1;
unsigned int forcegpt:1;
+ unsigned int set_timeout:1;
+ unsigned int delete_timeout:1;
+ unsigned short int timeout;
} efibootmgr_opt_t;