Hi,
there is a problem in the following IPC function (GateHWSem.c):
Bits32 *GateHWSem_getReservedMask()
{
return ((Bits32 *)&GateHWSem_reservedMaskArr);
}
The function returns the address of GateHWSem_reservedMaskArr, which already is a pointer/array. The result is that hardware semaphores will be randomly reserved depending on the address of the array, not the content.
IPC 1.24.03.32 and 1.25.00.04 are affected.
Ralf
