Symbol: IORR_MASK0
sys/dev/pci/agp_nvidia.c
371
mask = rdmsr(IORR_MASK0 + 2 * iorr_addr);
sys/dev/pci/agp_nvidia.c
389
wrmsr(IORR_MASK0 + 2 * iorr_addr, mask);