hext             3226 dev/acpi/dsdt.c const char hext[] = "0123456789ABCDEF";
hext             3236 dev/acpi/dsdt.c 	id[3] = hext[(pid >> 20) & 0xF];
hext             3237 dev/acpi/dsdt.c 	id[4] = hext[(pid >> 16) & 0xF];
hext             3238 dev/acpi/dsdt.c 	id[5] = hext[(pid >> 28) & 0xF];
hext             3239 dev/acpi/dsdt.c 	id[6] = hext[(pid >> 24) & 0xF];