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

/barrelfish-master/include/
H A Dmultiboot.h87 uint32_t config_table; member in struct:multiboot_info
/barrelfish-master/kernel/arch/k1om/
H A Dinit.c630 bp = (struct xeon_phi_boot_params *) (uintptr_t) mb->config_table;
641 ->config_table);
/barrelfish-master/tools/weever/
H A Dloader.c242 multiboot_info->config_table = (uint32_t)(uintptr_t)bp;

Completed in 44 milliseconds