#ifndef _ASM_POWERPC_SETUP_H
#define _ASM_POWERPC_SETUP_H

#include <asm-generic/setup.h>

extern void ppc_printk_progress(char *s, unsigned short hex);

#endif	/* _ASM_POWERPC_SETUP_H */