Searched refs:ia64_get_cpuid (Results 1 - 1 of 1) sorted by relevance

/vbox/src/VBox/Devices/EFI/Firmware/StdLib/Include/Ipf/machine/
H A Dia64_cpu.h404 ia64_get_cpuid(int i) function

Completed in 92 milliseconds