acpi_thread_id acpi_os_get_thread_id(void) { pthread_t thread; thread = pthread_self(); return (ACPI_CAST_PTHREAD_T(thread)); }
ACPI_THREAD_ID AcpiOsGetThreadId ( void) { return (ACPI_CAST_PTHREAD_T (pthread_self())); }
ACPI_THREAD_ID AcpiOsGetThreadId ( void) { pthread_t thread; thread = pthread_self(); return (ACPI_CAST_PTHREAD_T (thread)); }