post_code(POST_DEVICE_ENUMERATION_COMPLETE);
timestamps[2] = rdtsc();
+ printk(BIOS_NOTICE, "===============Enumeration done!========\n");
/* Now compute and assign the bus resources. */
dev_configure();
post_code(POST_DEVICE_CONFIGURATION_COMPLETE);