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

/vbox/src/VBox/Devices/EFI/Firmware/StdLib/Include/X64/machine/
H A Dtypes.h55 typedef INT32 register32_t; typedef

Completed in 41 milliseconds