Hi All,
I've a box with 4GB of RAM ( 4 bank of 1G DDR 400) running kernel
2.6.12-1.1372_FC3smp
but the kernel does reports only
Memory: 3316112k/3349696k available (2049k kernel code, 32208k
reserved, 765k data, 228k init, 2432132k highmem)
it's normal or I lost ~700Mb somewhere ;-)!
Linux version 2.6.12-1.1372_FC3smp
(bhcompile@xxxxxxxxxxxxxxxxxxxxxxx) (gcc version 3.4.3 20050227 (Red
Hat 3.4.3-22)) #1 SMP Fri Jul 15 01:30:03 EDT 2005
BIOS-provided physical RAM map:
BIOS-e820: 0000000000000000 - 000000000009fc00 (usable)
BIOS-e820: 000000000009fc00 - 00000000000a0000 (reserved)
BIOS-e820: 00000000000e6000 - 0000000000100000 (reserved)
BIOS-e820: 0000000000100000 - 00000000cc630000 (usable)
BIOS-e820: 00000000cc630000 - 00000000cc63e05e (ACPI NVS)
BIOS-e820: 00000000cc63e05e - 00000000cc730000 (usable)
BIOS-e820: 00000000cc730000 - 00000000cc740000 (ACPI data)
BIOS-e820: 00000000cc740000 - 00000000cc7f0000 (ACPI NVS)
BIOS-e820: 00000000cc7f0000 - 00000000cc800000 (reserved)
BIOS-e820: 00000000fecf0000 - 00000000fecf1000 (reserved)
BIOS-e820: 00000000fed20000 - 00000000feda0000 (reserved)
2375MB HIGHMEM available.
896MB LOWMEM available.
found SMP MP-table at 000ff780
Using x86 segment limits to approximate NX protection
On node 0 totalpages: 837424
DMA zone: 4096 pages, LIFO batch:1
Normal zone: 225280 pages, LIFO batch:31
HighMem zone: 608048 pages, LIFO batch:31
DMI 2.3 present.
Using APIC driver default
ACPI: RSDP (v000 ACPIAM ) @ 0x000f62f0
ACPI: RSDT (v001 INTEL D865PERL 0x20040402 MSFT 0x00000097) @ 0xcc730000
ACPI: FADT (v002 INTEL D865PERL 0x20040402 MSFT 0x00000097) @ 0xcc730200
ACPI: MADT (v001 INTEL D865PERL 0x20040402 MSFT 0x00000097) @ 0xcc730300
ACPI: ASF! (v016 LEGEND I865PASF 0x00000001 MSFT 0x0100000d) @ 0xcc7344e0
ACPI: WDDT (v001 INTEL OEMWDDT 0x00000001 MSFT 0x0100000d) @ 0xcc734579
ACPI: DSDT (v001 INTEL D865PERL 0x00000006 MSFT 0x0100000d) @ 0x00000000
ACPI: PM-Timer IO Port: 0x408
ACPI: Local APIC address 0xfee00000
ACPI: LAPIC (acpi_id[0x01] lapic_id[0x00] enabled)
Processor #0 15:4 APIC version 20
ACPI: LAPIC (acpi_id[0x02] lapic_id[0x01] enabled)
Processor #1 15:4 APIC version 20
ACPI: LAPIC_NMI (acpi_id[0x01] dfl dfl lint[0x1])
ACPI: LAPIC_NMI (acpi_id[0x02] dfl dfl lint[0x1])
ACPI: IOAPIC (id[0x02] address[0xfec00000] gsi_base[0])
IOAPIC[0]: apic_id 2, version 32, address 0xfec00000, GSI 0-23
ACPI: INT_SRC_OVR (bus 0 bus_irq 0 global_irq 2 dfl dfl)
ACPI: INT_SRC_OVR (bus 0 bus_irq 9 global_irq 9 high level)
ACPI: IRQ0 used by override.
ACPI: IRQ2 used by override.
ACPI: IRQ9 used by override.
Enabling APIC mode: Flat. Using 1 I/O APICs
Using ACPI (MADT) for SMP configuration information
Allocating PCI resources starting at cc800000 (gap: cc800000:324f0000)
Built 1 zonelists
Kernel command line: ro root=LABEL=/ rhgb quiet
mapped APIC to ffffd000 (fee00000)
mapped IOAPIC to ffffc000 (fec00000)
Initializing CPU#0
CPU 0 irqstacks, hard=c041f000 soft=c03ff000
PID hash table entries: 4096 (order: 12, 65536 bytes)
Detected 2994.114 MHz processor.
Using pmtmr for high-res timesource
Console: colour VGA+ 80x25
Dentry cache hash table entries: 131072 (order: 7, 524288 bytes)
Inode-cache hash table entries: 65536 (order: 6, 262144 bytes)
Memory: 3316112k/3349696k available (2049k kernel code, 32208k
reserved, 765k data, 228k init, 2432132k highmem)
Checking if this processor honours the WP bit even in supervisor mode... Ok.
Calibrating delay loop... 5931.00 BogoMIPS (lpj=2965504)
Security Framework v1.0.0 initialized
SELinux: Initializing.
SELinux: Starting in permissive mode
[...snip..]
Roberto Fichera.