glx_pci_write_hook
int glx_pci_write_hook(void *, pci_chipset_tag_t, pcitag_t, int, pcireg_t);
bonito_pci_hook(pc, NULL, glx_pci_read_hook, glx_pci_write_hook);