2 calls to user_role_permissions()

user_access in modules/user/user.module: Determine whether the user has a given privilege.
user_admin_permissions in modules/user/user.admin.inc: Menu callback: administer permissions.

Buggy or inaccurate documentation? Please file an issue. Need support? Need help programming? Connect with the Drupal community.