pmagic            171 arch/i386/pci/piixpcib.c 	paddr_t pmagic;
pmagic            174 arch/i386/pci/piixpcib.c 	pmap_extract(pmap_kernel(), (vaddr_t)magic, &pmagic);
pmagic            184 arch/i386/pci/piixpcib.c 		  "S" (pmagic)