#ifndef CPU_PPC_CPUID_H
#define CPU_PPC_CPUID_H

void display_cpuid(device_t dev);

#endif /* CPU_PPC_CPUID_H */