[Date Prev][Date Next] [Thread Prev][Thread Next] [Date Index] [Thread Index]

Re: Re: Debian 4.0r3 cann't recognize all of the 4Gb memory on my system.

>Also, soon after a boot:
>$ dmesg | less

See following:

Linux version 2.6.18-6-686-bigmem (Debian 2.6.18.dfsg.1-18etch1) (waldi@debian.org) (gcc version 4.1.2 20061115 (prerelease) (Debian 4.1.1-21)) #1 SMP Sun Feb 10 22:21:07 UTC 2008
BIOS-provided physical RAM map:
 BIOS-e820: 0000000000000000 - 000000000009f000 (usable)
 BIOS-e820: 000000000009f000 - 00000000000a0000 (reserved)
 BIOS-e820: 00000000000f0000 - 0000000000100000 (reserved)
 BIOS-e820: 0000000000100000 - 00000000d7edf800 (usable)
 BIOS-e820: 00000000d7edf800 - 00000000d7ee0000 (reserved)
 BIOS-e820: 00000000d7ee0000 - 00000000d7ee3000 (ACPI NVS)
 BIOS-e820: 00000000d7ee3000 - 00000000d7ef0000 (ACPI data)
 BIOS-e820: 00000000d7ef0000 - 00000000d7f00000 (reserved)
 BIOS-e820: 00000000e0000000 - 00000000f0000000 (reserved)
 BIOS-e820: 00000000fec00000 - 0000000100000000 (reserved)
2558MB HIGHMEM available.
896MB LOWMEM available.
found SMP MP-table at 000f3700
NX (Execute Disable) protection: active
On node 0 totalpages: 884447
  DMA zone: 4096 pages, LIFO batch:0
  Normal zone: 225280 pages, LIFO batch:31
  HighMem zone: 655071 pages, LIFO batch:31
DMI 2.4 present.
ACPI: RSDP (v000 FOUNDR                                ) @ 0x000f7620
ACPI: RSDT (v001 FOUNDR FOUNDRPC 0x42302e31 AWRD 0x00000000) @ 0xd7ee3040
ACPI: FADT (v001 FOUNDR FOUNDRPC 0x42302e31 AWRD 0x00000000) @ 0xd7ee30c0
ACPI: MCFG (v001 FOUNDR FOUNDRPC 0x42302e31 AWRD 0x00000000) @ 0xd7ee7940
ACPI: SLIC (v001 FOUNDR FOUNDRPC 0x42302e31 AWRD 0x00000000) @ 0xd7ee79c0
ACPI: MADT (v001 FOUNDR FOUNDRPC 0x42302e31 AWRD 0x00000000) @ 0xd7ee7840
ACPI: SSDT (v001  PmRef  Cpu0Ist 0x00003000 INTL 0x20041203) @ 0xd7ee7a30
ACPI: SSDT (v001  PmRef    CpuPm 0x00003000 INTL 0x20041203) @ 0xd7ee7ec0
ACPI: DSDT (v001 FOUNDR FOUNDRPC 0x00001000 MSFT 0x0100000e) @ 0x00000000
ACPI: PM-Timer IO Port: 0x408
ACPI: Local APIC address 0xfee00000
ACPI: LAPIC (acpi_id[0x00] lapic_id[0x00] enabled)
Processor #0 15:6 APIC version 20
ACPI: LAPIC (acpi_id[0x01] lapic_id[0x01] enabled)
Processor #1 15:6 APIC version 20
ACPI: LAPIC (acpi_id[0x02] lapic_id[0x02] disabled)
ACPI: LAPIC (acpi_id[0x03] lapic_id[0x03] disabled)
ACPI: LAPIC_NMI (acpi_id[0x00] high edge lint[0x1])
ACPI: LAPIC_NMI (acpi_id[0x01] high edge lint[0x1])
ACPI: LAPIC_NMI (acpi_id[0x02] high edge lint[0x1])
ACPI: LAPIC_NMI (acpi_id[0x03] high edge lint[0x1])
ACPI: IOAPIC (id[0x04] address[0xfec00000] gsi_base[0])
IOAPIC[0]: apic_id 4, 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 f1000000 (gap: f0000000:0ec00000)
Detected 2999.853 MHz processor.
Built 1 zonelists.  Total pages: 884447
Kernel command line: root=/dev/sda2 ro 
mapped APIC to ffffd000 (fee00000)
mapped IOAPIC to ffffc000 (fec00000)
Enabling fast FPU save and restore... done.
Enabling unmasked SIMD FPU exception support... done.
Initializing CPU#0
PID hash table entries: 4096 (order: 12, 16384 bytes)
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: 3500584k/3537788k available (1542k kernel code, 35988k reserved, 587k data, 196k init, 2620284k highmem)
Checking if this processor honours the WP bit even in supervisor mode... Ok.
Calibrating delay using timer specific routine.. 6004.89 BogoMIPS (lpj=12009799)
Security Framework v1.0.0 initialized
SELinux:  Disabled at boot.
Capability LSM initialized
Mount-cache hash table entries: 512


Sincerely yours,

Reply to: