Searched refs:bios_cfg_version (Results 1 – 2 of 2) sorted by relevance
83 uint32_t bios_cfg_version(void) in bios_cfg_version() function
76 uint32_t cmdline_size, initrd_size, fw_cfg_version = bios_cfg_version(); in pvh_load_kernel()