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

/barrelfish-master/include/xeon_phi/
H A Dxeon_phi.h113 uint32_t cmdline_ptr; /// pointer to the command line member in struct:xeon_phi_boot_params
/barrelfish-master/tools/weever/
H A Dloader.c231 multiboot_info->cmdline = bp->cmdline_ptr;
/barrelfish-master/usr/drivers/xeon_phi/
H A Dboot.c129 bp->cmdline_ptr = (uint32_t)(load_offset);

Completed in 38 milliseconds