1491 …                                   int32_t lInternalIndexOfKernelObject ) /* PRIVILEGED_FUNCTION */  in vPortGrantAccessToKernelObject()  argument
1496 …ulAccessControlListEntryIndex = ( ( uint32_t ) lInternalIndexOfKernelObject / portACL_ENTRY_SIZE_B…  in vPortGrantAccessToKernelObject()
1497 …ulAccessControlListEntryBit = ( ( uint32_t ) lInternalIndexOfKernelObject % portACL_ENTRY_SIZE_BIT…  in vPortGrantAccessToKernelObject()
1510 …                                   int32_t lInternalIndexOfKernelObject ) /* PRIVILEGED_FUNCTION */  in vPortRevokeAccessToKernelObject()  argument
1515 …ulAccessControlListEntryIndex = ( ( uint32_t ) lInternalIndexOfKernelObject / portACL_ENTRY_SIZE_B…  in vPortRevokeAccessToKernelObject()
1516 …ulAccessControlListEntryBit = ( ( uint32_t ) lInternalIndexOfKernelObject % portACL_ENTRY_SIZE_BIT…  in vPortRevokeAccessToKernelObject()
1530 …BaseType_t xPortIsAuthorizedToAccessKernelObject( int32_t lInternalIndexOfKernelObject ) /* PRIVIL…  in xPortIsAuthorizedToAccessKernelObject()  argument
1548 …ulAccessControlListEntryIndex = ( ( uint32_t ) lInternalIndexOfKernelObject / portACL_ENTRY_SIZE_B…  in xPortIsAuthorizedToAccessKernelObject()
1549 …ulAccessControlListEntryBit = ( ( uint32_t ) lInternalIndexOfKernelObject % portACL_ENTRY_SIZE_BIT…  in xPortIsAuthorizedToAccessKernelObject()
1569 …BaseType_t xPortIsAuthorizedToAccessKernelObject( int32_t lInternalIndexOfKernelObject ) /* PRIVIL…  in xPortIsAuthorizedToAccessKernelObject()  argument
1571             ( void ) lInternalIndexOfKernelObject;  in xPortIsAuthorizedToAccessKernelObject()