Searched refs:bootcmd (Results 1 - 1 of 1) sorted by relevance

/barrelfish-2018-10-04/tools/fastmodels/
H A Dbuild_multiboot.c62 struct multiboot_tag_string *bootcmd= local
65 bootcmd->type= MULTIBOOT_TAG_TYPE_CMDLINE;
66 bootcmd->size= sizeof(struct multiboot_tag_string)
68 ntstring(bootcmd->string,

Completed in 29 milliseconds