Symbol: AGP_I830_HIC
sys/dev/pci/agp_i810.c
219
WRITE4(AGP_I830_HIC, READ4(AGP_I830_HIC) | __BIT(31));
sys/dev/pci/agp_i810.c
220
while (ISSET(READ4(AGP_I830_HIC), __BIT(31))) {