Searched refs:fw_cfg_init (Results 1 – 3 of 3) sorted by relevance
35 void *fw_cfg_init(uint32_t ctl_port, uint32_t data_port,
253 void *fw_cfg_init(uint32_t ctl_port, uint32_t data_port, in fw_cfg_init() function
484 fw_cfg = fw_cfg_init(BIOS_CFG_IOPORT, BIOS_CFG_IOPORT + 1, 0, 0); in bochs_bios_init()