acpi_os_get_thread_id
if (acpi_gbl_db_thread_id != acpi_os_get_thread_id()) {
if (acpi_gbl_db_thread_id != acpi_os_get_thread_id()) {
acpi_db_uint32_to_hex_string((u32)acpi_os_get_thread_id(),
info->threads[info->num_created++] = acpi_os_get_thread_id();
i, acpi_os_get_thread_id());
if (acpi_gbl_db_thread_id != acpi_os_get_thread_id()) {
if (acpi_gbl_db_thread_id != acpi_os_get_thread_id()) {
acpi_gbl_db_thread_id = acpi_os_get_thread_id();
acpi_os_get_thread_id();
acpi_os_get_thread_id());
acpi_os_get_thread_id());
thread_id = acpi_os_get_thread_id();
this_thread_id = acpi_os_get_thread_id();
(u32)acpi_os_get_thread_id(),
acpi_os_get_thread_id()) {
state->thread.thread_id = acpi_os_get_thread_id();
acpi_thread_id acpi_os_get_thread_id(void);