2054 …                                   int32_t lInternalIndexOfKernelObject ) /* PRIVILEGED_FUNCTION */  in vPortGrantAccessToKernelObject()  argument
2059 …ulAccessControlListEntryIndex = ( ( uint32_t ) lInternalIndexOfKernelObject / portACL_ENTRY_SIZE_B…  in vPortGrantAccessToKernelObject()
2060 …ulAccessControlListEntryBit = ( ( uint32_t ) lInternalIndexOfKernelObject % portACL_ENTRY_SIZE_BIT…  in vPortGrantAccessToKernelObject()
2073 …                                   int32_t lInternalIndexOfKernelObject ) /* PRIVILEGED_FUNCTION */  in vPortRevokeAccessToKernelObject()  argument
2078 …ulAccessControlListEntryIndex = ( ( uint32_t ) lInternalIndexOfKernelObject / portACL_ENTRY_SIZE_B…  in vPortRevokeAccessToKernelObject()
2079 …ulAccessControlListEntryBit = ( ( uint32_t ) lInternalIndexOfKernelObject % portACL_ENTRY_SIZE_BIT…  in vPortRevokeAccessToKernelObject()
2093 …BaseType_t xPortIsAuthorizedToAccessKernelObject( int32_t lInternalIndexOfKernelObject ) /* PRIVIL…  in xPortIsAuthorizedToAccessKernelObject()  argument
2111 …ulAccessControlListEntryIndex = ( ( uint32_t ) lInternalIndexOfKernelObject / portACL_ENTRY_SIZE_B…  in xPortIsAuthorizedToAccessKernelObject()
2112 …ulAccessControlListEntryBit = ( ( uint32_t ) lInternalIndexOfKernelObject % portACL_ENTRY_SIZE_BIT…  in xPortIsAuthorizedToAccessKernelObject()
2132 …BaseType_t xPortIsAuthorizedToAccessKernelObject( int32_t lInternalIndexOfKernelObject ) /* PRIVIL…  in xPortIsAuthorizedToAccessKernelObject()  argument
2134             ( void ) lInternalIndexOfKernelObject;  in xPortIsAuthorizedToAccessKernelObject()