1365 …                                   int32_t lInternalIndexOfKernelObject ) /* PRIVILEGED_FUNCTION */  in vPortGrantAccessToKernelObject()  argument
1370 …ulAccessControlListEntryIndex = ( ( uint32_t ) lInternalIndexOfKernelObject / portACL_ENTRY_SIZE_B…  in vPortGrantAccessToKernelObject()
1371 …ulAccessControlListEntryBit = ( ( uint32_t ) lInternalIndexOfKernelObject % portACL_ENTRY_SIZE_BIT…  in vPortGrantAccessToKernelObject()
1384 …                                   int32_t lInternalIndexOfKernelObject ) /* PRIVILEGED_FUNCTION */  in vPortRevokeAccessToKernelObject()  argument
1389 …ulAccessControlListEntryIndex = ( ( uint32_t ) lInternalIndexOfKernelObject / portACL_ENTRY_SIZE_B…  in vPortRevokeAccessToKernelObject()
1390 …ulAccessControlListEntryBit = ( ( uint32_t ) lInternalIndexOfKernelObject % portACL_ENTRY_SIZE_BIT…  in vPortRevokeAccessToKernelObject()
1404 …BaseType_t xPortIsAuthorizedToAccessKernelObject( int32_t lInternalIndexOfKernelObject ) /* PRIVIL…  in xPortIsAuthorizedToAccessKernelObject()  argument
1422 …ulAccessControlListEntryIndex = ( ( uint32_t ) lInternalIndexOfKernelObject / portACL_ENTRY_SIZE_B…  in xPortIsAuthorizedToAccessKernelObject()
1423 …ulAccessControlListEntryBit = ( ( uint32_t ) lInternalIndexOfKernelObject % portACL_ENTRY_SIZE_BIT…  in xPortIsAuthorizedToAccessKernelObject()
1443 …BaseType_t xPortIsAuthorizedToAccessKernelObject( int32_t lInternalIndexOfKernelObject ) /* PRIVIL…  in xPortIsAuthorizedToAccessKernelObject()  argument
1445             ( void ) lInternalIndexOfKernelObject;  in xPortIsAuthorizedToAccessKernelObject()