tychon 58699bc5fc Move the atpit device model from userspace into vmm.ko for better ...

precision and lower latency.

Approved by:	grehan (co-mentor)

2014-03-25 19:20:34 +00:00

..

acpica

Consistently use round_page(x) rather than roundup(x, PAGE_SIZE). There is

2013-02-15 22:43:08 +00:00

amd64

Rename global cnt to vm_cnt to avoid shadowing.

2014-03-22 10:26:09 +00:00

conf

In kernel config files, it is supposed to be 'options<space><tab>' not

2014-03-18 14:41:18 +00:00

ia32

x86: Allow users to change PSL_RF via ptrace(PT_SETREGS...)

2013-11-14 15:37:20 +00:00

include

Move the atpit device model from userspace into vmm.ko for better

2014-03-25 19:20:34 +00:00

linux32

Update kernel inclusions of capability.h to use capsicum.h instead; some

2014-03-16 10:55:57 +00:00

pci

Fix undefined behavior: (1 << 31) is not defined as 1 is an int and this

2013-11-30 22:17:27 +00:00

vmm

Move the atpit device model from userspace into vmm.ko for better

2014-03-25 19:20:34 +00:00

Makefile

…