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

/vbox/src/VBox/Devices/EFI/Firmware/MdePkg/Library/BaseLib/Ia32/
H A DCpuId.c30 @param RegisterEbx A pointer to the 32-bit EBX value returned by the CPUID
45 OUT UINT32 *RegisterEbx, OPTIONAL
58 mov ecx, RegisterEbx
42 AsmCpuid( IN UINT32 Index, OUT UINT32 *RegisterEax, OPTIONAL OUT UINT32 *RegisterEbx, OPTIONAL OUT UINT32 *RegisterEcx, OPTIONAL OUT UINT32 *RegisterEdx OPTIONAL ) argument
H A DCpuIdEx.c34 @param RegisterEbx A pointer to the 32-bit EBX value returned by the CPUID
53 OUT UINT32 *RegisterEbx, OPTIONAL
67 mov ecx, RegisterEbx
49 AsmCpuidEx( IN UINT32 Index, IN UINT32 SubIndex, OUT UINT32 *RegisterEax, OPTIONAL OUT UINT32 *RegisterEbx, OPTIONAL OUT UINT32 *RegisterEcx, OPTIONAL OUT UINT32 *RegisterEdx OPTIONAL ) argument

Completed in 495 milliseconds