1634 …                                   int32_t lInternalIndexOfKernelObject ) /* PRIVILEGED_FUNCTION */  in vPortGrantAccessToKernelObject()  argument
1639 …ulAccessControlListEntryIndex = ( ( uint32_t ) lInternalIndexOfKernelObject / portACL_ENTRY_SIZE_B…  in vPortGrantAccessToKernelObject()
1640 …ulAccessControlListEntryBit = ( ( uint32_t ) lInternalIndexOfKernelObject % portACL_ENTRY_SIZE_BIT…  in vPortGrantAccessToKernelObject()
1653 …                                   int32_t lInternalIndexOfKernelObject ) /* PRIVILEGED_FUNCTION */  in vPortRevokeAccessToKernelObject()  argument
1658 …ulAccessControlListEntryIndex = ( ( uint32_t ) lInternalIndexOfKernelObject / portACL_ENTRY_SIZE_B…  in vPortRevokeAccessToKernelObject()
1659 …ulAccessControlListEntryBit = ( ( uint32_t ) lInternalIndexOfKernelObject % portACL_ENTRY_SIZE_BIT…  in vPortRevokeAccessToKernelObject()
1673 …BaseType_t xPortIsAuthorizedToAccessKernelObject( int32_t lInternalIndexOfKernelObject ) /* PRIVIL…  in xPortIsAuthorizedToAccessKernelObject()  argument
1691 …ulAccessControlListEntryIndex = ( ( uint32_t ) lInternalIndexOfKernelObject / portACL_ENTRY_SIZE_B…  in xPortIsAuthorizedToAccessKernelObject()
1692 …ulAccessControlListEntryBit = ( ( uint32_t ) lInternalIndexOfKernelObject % portACL_ENTRY_SIZE_BIT…  in xPortIsAuthorizedToAccessKernelObject()
1712 …BaseType_t xPortIsAuthorizedToAccessKernelObject( int32_t lInternalIndexOfKernelObject ) /* PRIVIL…  in xPortIsAuthorizedToAccessKernelObject()  argument
1714             ( void ) lInternalIndexOfKernelObject;  in xPortIsAuthorizedToAccessKernelObject()