5 #if CONFIG_K8_REV_F_SUPPORT == 1
12 void showallroutes(int level, device_t dev);
13 void setup_resource_map_offset(const unsigned int *register_values, int max, unsigned offset_pci_dev, unsigned offset_io_base);
14 void fill_mem_ctrl(int controllers, struct mem_controller *ctrl_a, const uint16_t *spd_addr);