62 static void update_pam(PCIDevice *d, uint32_t start, uint32_t end, int r)  in update_pam()
89 static void i440fx_update_memory_mappings(PCIDevice *d)  in i440fx_update_memory_mappings()
110 void i440fx_set_smm(PCIDevice *d, int val)  in i440fx_set_smm()
123 void i440fx_init_memory_mappings(PCIDevice *d)  in i440fx_init_memory_mappings()
131 static void i440fx_write_config(PCIDevice *d,  in i440fx_write_config()
142     PCIDevice *d = opaque;  in i440fx_save()  local
154     PCIDevice *d = opaque;  in i440fx_load()  local
175     PCIDevice *d;  in i440fx_init()  local
237     PCIDevice *d = opaque;  in piix3_reset()  local
277     PCIDevice *d = opaque;  in piix4_reset()  local
317     PCIDevice *d = opaque;  in piix_save()  local
323     PCIDevice *d = opaque;  in piix_load()  local
331     PCIDevice *d;  in piix3_init()  local
354     PCIDevice *d;  in piix4_init()  local