Searched defs:HighData (Results 1 - 1 of 1) sorted by relevance

/vbox/src/VBox/Devices/EFI/Firmware/MdePkg/Library/BaseLib/X64/
H A DGccInline.c132 UINT32 HighData; local
137 "=d" (HighData) // %1
141 return (((UINT64)HighData) << 32) | LowData;
169 UINT32 HighData; local
172 HighData = (UINT32)(Value >> 32);
179 "d" (HighData)

Completed in 108 milliseconds