static void platform_hardware_setup(void) { // Enable CPU caching setcr0(getcr0() & ~(CR0_CD|CR0_NW)); // Make sure legacy DMA isn't running. dma_setup(); // Init base pc hardware. pic_setup(); mathcp_setup(); timer_setup(); clock_setup(); // Platform specific setup qemu_platform_setup(); coreboot_platform_setup(); }
static void platform_hardware_setup(void) { // Make sure legacy DMA isn't running. dma_setup(); // Init base pc hardware. pic_setup(); thread_setup(); mathcp_setup(); // Platform specific setup qemu_platform_setup(); coreboot_platform_setup(); // Setup timers and periodic clock interrupt timer_setup(); clock_setup(); // Initialize TPM tpm_setup(); }