Justin T. Gibbs 4fd76feafd Fix accounting for hw.realmem on the i386 and amd64 platforms. ... sys/i386/i386/machdep.c: sys/amd64/amd64/machdep.c: The value reported by FreeBSD as "real memory" when booting doesn't match what is later reported by sysctl as hw.realmem. This is due to the fact that the value printed during the boot process is fetched from smbios data (when possible), and accounts for holes in physical memory. On the other hand, the value of hw.realmem is unconditionally set to be one larger than the highest page of the physical address space. Fix this by setting hw.realmem to the same value printed during boot, this makes hw.realmem honour it's name and account properly for physical memory present in the system. Submitted by: Roger Pau Monné Reviewed by: gibbs		2013-11-15 16:05:55 +00:00
..
acpica	Consistently use round_page(x) rather than roundup(x, PAGE_SIZE). There is	2013-02-15 22:43:08 +00:00
bios	This isn't functionally identical. In some cases a hint to disable	2012-10-22 13:06:09 +00:00
conf	Disable building the ctl module for the i386 XEN kernel configuration	2013-11-11 21:16:55 +00:00
i386	Fix accounting for hw.realmem on the i386 and amd64 platforms.	2013-11-15 16:05:55 +00:00
ibcs2	Remove redundant declarations of szsigcode and sigcode in	2013-10-07 16:57:48 +00:00
include	x86: Allow users to change PSL_RF via ptrace(PT_SETREGS...)	2013-11-14 15:37:20 +00:00
isa	Implement vector callback for PVHVM and unify event channel implementations	2013-08-29 19:52:18 +00:00
linux	x86: Allow users to change PSL_RF via ptrace(PT_SETREGS...)	2013-11-14 15:37:20 +00:00
pci	Replace kernel virtual address space allocation with vmem. This provides	2013-08-07 06:21:20 +00:00
svr4
xbox
xen	Formalize the concept of virtual CPU ids by adding a per-cpu vcpu_id	2013-10-05 23:11:01 +00:00
Makefile