Hans-Christian Egtvedt feb64da4d1 Resync pt-machine.h for AVR32 linuxthreads and linuxthreads.old 16 years ago
..
pt-machine.h feb64da4d1 Resync pt-machine.h for AVR32 linuxthreads and linuxthreads.old 16 years ago