Documented in 2 files:

• drivers/pci/pci-driver.c, line 4648
• kernel/user.c, line 4613

Defined in 2 files as a function:

• drivers/pci/pci-driver.c, line 4654 (as a function)
• kernel/user.c, line 4619 (as a function)

Referenced in 2 files:

• drivers/pci/pci-driver.c, line 4930
• kernel/user.c, line 4892