[ixp1200] interthread signal from the strongarm

[P.J.Simoons]

Hi there,

According to my book one can send an interthread signal from the
strongarm by doing
  *((int*) 0xb00401c0) = thread_id;
However since the signals are kept in a bitfield, wouldn't
  *((int*) 0xb00401c0) |= 1 << thread_id;
be more appropriate?

Yours,
Pieter