Searched refs:u64XDSDT (Results 1 - 1 of 1) sorted by relevance
| /vbox/src/VBox/Devices/PC/ | ||
| H A D | DevACPI.cpp | 515 uint64_t u64XDSDT; /**< 64-bit phys address of DSDT */ member in struct:ACPITBLFADT 2206 fadt.u64XDSDT = RT_H2LE_U64((uint64_t)GCPhysDsdt); |
Completed in 52 milliseconds