pjs/db/os/os_spin.c