Robert Moore b890ef7b6b Make ACPI_THREAD_ID no longer configurable, always UINT64. ... Change definition of ACPI_THREAD_ID to always be a UINT64. This simplifies the code, especially any printf output. UINT64 is the only common data type for all thread_id types across all operating systems. We now force the OSL to cast the native thread_id type to UINT64 before returning the value to ACPICA (via AcpiOsGetThreadId). Lin Ming, Bob Moore.		2010-08-20 13:37:40 -07:00
..
service_layers	Make ACPI_THREAD_ID no longer configurable, always UINT64.	2010-08-20 13:37:40 -07:00