7132070: Use a mach_port_t as the OSThread thread_id rather than pthread_t on BSD/OSX

Change OSThread to use mach thread_t

Reviewed-by: phh, dcubed
6 files changed