#ifndef CPU_PPC_CPUID_H
#define CPU_PPC_CPUID_H

void display_cpuid(void);

#endif /* CPU_PPC_CPUID_H */