Symbol: AcpiOsGetThreadId
sys/dev/acpica/Osd/OsdSynch.c
212
(uintmax_t)AcpiOsGetThreadId());
sys/dev/acpica/Osd/OsdSynch.c
257
(intmax_t)tmo, as, (uintmax_t)AcpiOsGetThreadId());
sys/dev/acpica/Osd/OsdSynch.c
271
(uintmax_t)AcpiOsGetThreadId());
sys/dev/acpica/Osd/OsdSynch.c
308
(uintmax_t)AcpiOsGetThreadId());