[ 3.401871] ata25: SATA max UDMA/133 abar m4096@0xfd5ef000 port 0xfd5efd00 irq 72
[ 3.401872] ata26: SATA max UDMA/133 abar m4096@0xfd5ef000 port 0xfd5efd80 irq 72
[ 3.401873] ata27: SATA max UDMA/133 abar m4096@0xfd5ef000 port 0xfd5efe00 irq 72
[ 3.401873] ata28: SATA max UDMA/133 abar m4096@0xfd5ef000 port 0xfd5efe80 irq 72
[ 3.401874] ata29: SATA max UDMA/133 abar m4096@0xfd5ef000 port 0xfd5eff00 irq 72
[ 3.401875] ata30: SATA max UDMA/133 abar m4096@0xfd5ef000 port 0xfd5eff80 irq 72
[ 3.414209] hv_vmbus: registering driver hv_netvsc
[ 3.418216] i8042: PNP: PS/2 Controller [PNP0303:KBC,PNP0f13:MOUS] at 0x60,0x64 irq 1,12
[ 3.420311] serio: i8042 KBD port at 0x60,0x64 irq 1
[ 3.420315] serio: i8042 AUX port at 0x60,0x64 irq 12
[ 3.451168] rtc_cmos 00:03: rtc core: registered rtc_cmos as rtc0
[ 3.451242] rtc_cmos 00:03: alarms up to one month, y3k, 114 bytes nvram, hpet irqs
[ 3.451561] i2c /dev entries driver
[ 3.452332] md: linear personality registered for level -1
[ 3.452334] md: raid0 personality registered for level 0
[ 3.452334] md: raid1 personality registered for level 1
[ 3.452335] md: raid10 personality registered for level 10
[ 3.454279] md: raid6 personality registered for level 6
[ 3.454280] md: raid5 personality registered for level 5
[ 3.454281] md: raid4 personality registered for level 4
[ 3.455479] device-mapper: ioctl: 4.25.0-ioctl (2013-06-26) initialised:
dm-devel@redhat.com
[ 3.455481] cpuidle: using governor ladder
[ 3.455482] cpuidle: using governor menu
[ 3.455612] TCP: cubic registered
[ 3.455613] NET: Registered protocol family 17
[ 3.455630] Key type dns_resolver registered