[ixp] [ixp1200] interthread signal from the strongarm

[Sanjay Kumar]

Hi Simoons,
You basically write to the INTER_THD_SIG register by writing to the 
address 0xb00401c0.
The value of thread_id in INTER_THD_SIG is not kept as a bit field. In 
fact there are only 5 least significant bits in this register which are 
to be used to store the thread_id (to store values from 0 to 23).
Hence shifting the bit field (the second method) will not work. You have 
to use the first method to generate correct inter thread signals.

Hope this helps.
Sanjay

P.J.Simoons wrote:

>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
>
>
>
>
>  
>