Searched refs:pc_pci_hole64_start (Results 1 – 4 of 4) sorted by relevance
191 uint64_t pc_pci_hole64_start(void);
183 value = pc_pci_hole64_start(); in i440fx_pcihost_get_pci_hole64_start_value()
126 value = pc_pci_hole64_start(); in q35_host_get_pci_hole64_start_value()
758 return pc_pci_hole64_start() + pci_hole64_size - 1; in pc_max_used_gpa()1026 uint64_t pc_pci_hole64_start(void) in pc_pci_hole64_start() function