neel 4eebcc1fbb 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

…