#ifndef AMDK8_H

#define AMDK8_H

#if CONFIG_K8_REV_F_SUPPORT == 1
        #include "amdk8_f.h"
#else
        #include "amdk8_pre_f.h"
#endif

void showallroutes(int level, device_t dev);

#endif /* AMDK8_H */