| 124 | } |
| 125 | |
| 126 | static int |
| 127 | piix_attach(device_t dev) |
| 128 | { |
| 129 | u_int32_t d; |
| 130 | |
| 131 | d = pci_read_config(dev, 0x40, 4); |
| 132 | piix_timecounter_address = (d & 0xffc0) + 8; |
| 133 | piix_timecounter.tc_frequency = piix_freq; |
| 134 | tc_init(&piix_timecounter); |
| 135 | return (0); |
| 136 | } |
| 137 | |
| 138 | static device_method_t piix_methods[] = { |
| 139 | /* Device interface */ |