Searched refs:ged3 (Results 1 - 1 of 1) sorted by relevance
| /freebsd-13-stable/sys/dev/acpica/ | ||
| H A D | acpi_apei.c | 291 ACPI_HEST_GENERIC_DATA_V300 *ged3 = (ACPI_HEST_GENERIC_DATA_V300 *)ged; local 339 printf(" Timestamp: %016jx\n", ged3->TimeStamp); |
Completed in 54 milliseconds