cvs commit: src/sys/kern kern_time.c

[Joerg Sonnenberger]

On Fri, Apr 22, 2005 at 09:50:57AM -0700, Matthew Dillon wrote:
>     The cpu_mb1() call should not be necessary.  Theoretically
>     the lwkt_send_ipiq() call in lwkt_setcpu_self() is responsible
>     for synchronizing the data on the originating cpu with the
>     target.  In reallity, for IA32, the synchronization is mostly
>     inherent due to the fact that IA32 orders writes.

I did the same thing we did in the network code for the PCB
export.

Joerg