freebsd-dev/sys/amd64/vmm/io
Neel Natu f213ae0be6 Fix the RTC device model to operate correctly in 12-hour mode. The following
table documents the values in the RTC 'hour' field in the two modes:

Hour-of-the-day		12-hour mode	24-hour mode
12	AM		12		0
[1-11]	AM		[1-11]		[1-11]
12	PM		0x80 | 12	12
[1-11]	PM		0x80 | [1-11]	[13-23]

Reported by:	Julian Hsiao (madoka@nyanisore.net)
MFC after:	1 week
2015-03-28 02:55:16 +00:00
..
iommu.c
iommu.h
ppt.c
ppt.h
vatpic.c
vatpic.h
vatpit.c
vatpit.h
vhpet.c
vhpet.h
vioapic.c
vioapic.h
vlapic_priv.h
vlapic.c Use lapic_ipi_alloc() to dynamically allocate IPI slots needed by bhyve when 2015-03-14 02:32:08 +00:00
vlapic.h
vpmtmr.c
vpmtmr.h
vrtc.c Fix the RTC device model to operate correctly in 12-hour mode. The following 2015-03-28 02:55:16 +00:00
vrtc.h