1572 …                                   int32_t lInternalIndexOfKernelObject ) /* PRIVILEGED_FUNCTION */  in vPortGrantAccessToKernelObject()  argument
1577 …ulAccessControlListEntryIndex = ( ( uint32_t ) lInternalIndexOfKernelObject / portACL_ENTRY_SIZE_B…  in vPortGrantAccessToKernelObject()
1578 …ulAccessControlListEntryBit = ( ( uint32_t ) lInternalIndexOfKernelObject % portACL_ENTRY_SIZE_BIT…  in vPortGrantAccessToKernelObject()
1592 …                                   int32_t lInternalIndexOfKernelObject ) /* PRIVILEGED_FUNCTION */  in vPortRevokeAccessToKernelObject()  argument
1597 …ulAccessControlListEntryIndex = ( ( uint32_t ) lInternalIndexOfKernelObject / portACL_ENTRY_SIZE_B…  in vPortRevokeAccessToKernelObject()
1598 …ulAccessControlListEntryBit = ( ( uint32_t ) lInternalIndexOfKernelObject % portACL_ENTRY_SIZE_BIT…  in vPortRevokeAccessToKernelObject()
1613 …BaseType_t xPortIsAuthorizedToAccessKernelObject( int32_t lInternalIndexOfKernelObject ) /* PRIVIL…  in xPortIsAuthorizedToAccessKernelObject()  argument
1631 …ulAccessControlListEntryIndex = ( ( uint32_t ) lInternalIndexOfKernelObject / portACL_ENTRY_SIZE_B…  in xPortIsAuthorizedToAccessKernelObject()
1632 …ulAccessControlListEntryBit = ( ( uint32_t ) lInternalIndexOfKernelObject % portACL_ENTRY_SIZE_BIT…  in xPortIsAuthorizedToAccessKernelObject()
1652 …BaseType_t xPortIsAuthorizedToAccessKernelObject( int32_t lInternalIndexOfKernelObject ) /* PRIVIL…  in xPortIsAuthorizedToAccessKernelObject()  argument
1654             ( void ) lInternalIndexOfKernelObject;  in xPortIsAuthorizedToAccessKernelObject()