Changeset fb45c7b in mainline for kernel/arch/ia32/src/smp


Ignore:
Timestamp:
2011-09-25T20:03:28Z (14 years ago)
Author:
Martin Sucha <sucha14@…>
Branches:
lfn, master, serial, ticket/834-toolchain-update, topic/msim-upgrade, topic/simplify-dev-export
Children:
e0e00d7
Parents:
6d8c4654
Message:

Call PSE variant of map_kernel on AP.
This fixes boot on ia32 with SMP enabled.

File:
1 edited

Legend:

Unmodified
Added
Removed

  • kernel/arch/ia32/src/smp/ap.S

    r6d8c4654 rfb45c7b  
    7474        subl $0x80000000, %esp                  # KA2PA(ctx.sp)
    7575
    76         call map_kernel                                 # map kernel and turn paging on
     76        /* We assume that when using SMP, PSE is always available */
     77        call map_kernel_pse                             # map kernel and turn paging on
    7778       
    7879        addl $0x80000000, %esp                  # PA2KA(ctx.sp)
Note: See TracChangeset for help on using the changeset viewer.