Changeset ddcc8a0 in mainline


Ignore:
Timestamp:
2011-11-10T23:09:13Z (12 years ago)
Author:
Jakub Jermar <jakub@…>
Branches:
lfn, master, serial, ticket/834-toolchain-update, topic/msim-upgrade, topic/simplify-dev-export
Children:
95e882d
Parents:
ec1c8e6
Message:

Split frame_arch_init() into two parts.

  • frame_low_arch_init() is meant to initialize physical memory that will be accessible using the kernel identity mapping
  • frame_high_arch_init() is meant to initialize physical memory beyond the reach of the kernel identity mapping; zones in the high memory should have configuration frames allocated externally from the low memory (which will be allowed)
Location:
kernel
Files:
20 edited

Legend:

Unmodified
Added
Removed

  • kernel/arch/abs32le/include/mm/frame.h

    rec1c8e6 rddcc8a0  
    4141#include <typedefs.h>
    4242
    43 extern void frame_arch_init(void);
     43extern void frame_low_arch_init(void);
     44extern void frame_high_arch_init(void);
    4445extern void physmem_print(void);
    4546

  • kernel/arch/abs32le/src/mm/frame.c

    rec1c8e6 rddcc8a0  
    5050
    5151
    52 void frame_arch_init(void)
     52void frame_low_arch_init(void)
     53{
     54}
     55
     56void frame_high_arch_init(void)
    5357{
    5458}

  • kernel/arch/amd64/include/mm/frame.h

    rec1c8e6 rddcc8a0  
    4444
    4545extern uintptr_t last_frame;
    46 extern void frame_arch_init(void);
     46extern void frame_low_arch_init(void);
     47extern void frame_high_arch_init(void);
    4748extern void physmem_print(void);
    4849

  • kernel/arch/arm32/include/mm/frame.h

    rec1c8e6 rddcc8a0  
    6363extern uintptr_t last_frame;
    6464
    65 extern void frame_arch_init(void);
     65extern void frame_low_arch_init(void);
     66extern void frame_high_arch_init(void);
    6667extern void boot_page_table_free(void);
    6768#define physmem_print()

  • kernel/arch/arm32/src/mm/frame.c

    rec1c8e6 rddcc8a0  
    3939#include <config.h>
    4040#include <align.h>
     41#include <macros.h>
    4142
    4243/** Address of the last frame in the memory. */
    … …  
    4445
    4546/** Creates memory zones. */
    46 void frame_arch_init(void)
     47void frame_low_arch_init(void)
    4748{
    4849        uintptr_t mem_start, mem_size;
    … …  
    6667}
    6768
     69void frame_high_arch_init(void)
     70{
     71}
     72
    6873/** Frees the boot page table. */
    6974void boot_page_table_free(void)

  • kernel/arch/ia32/include/mm/frame.h

    rec1c8e6 rddcc8a0  
    4545extern uintptr_t last_frame;
    4646
    47 extern void frame_arch_init(void);
     47extern void frame_low_arch_init(void);
     48extern void frame_high_arch_init(void);
    4849extern void physmem_print(void);
    4950

  • kernel/arch/ia32/src/mm/frame.c

    rec1c8e6 rddcc8a0  
    179179
    180180
    181 void frame_arch_init(void)
     181void frame_low_arch_init(void)
    182182{
    183183        pfn_t minconf;
    … …  
    206206}
    207207
     208void frame_high_arch_init(void)
     209{
     210}
     211
    208212/** @}
    209213 */

  • kernel/arch/ia64/include/mm/frame.h

    rec1c8e6 rddcc8a0  
    4545extern uintptr_t last_frame;
    4646
    47 extern void frame_arch_init(void);
     47extern void frame_low_arch_init(void);
     48extern void frame_high_arch_init(void);
    4849#define physmem_print()
    4950

  • kernel/arch/ia64/src/mm/frame.c

    rec1c8e6 rddcc8a0  
    5353uintptr_t last_frame = 0;
    5454
    55 void frame_arch_init(void)
     55void frame_low_arch_init(void)
    5656{
    5757        if (config.cpu_active == 1) {
    … …  
    8888}
    8989
     90void frame_high_arch_init(void)
     91{
     92}
     93
    9094/** @}
    9195 */

  • kernel/arch/mips32/include/mm/frame.h

    rec1c8e6 rddcc8a0  
    4141#ifndef __ASM__
    4242
    43 extern void frame_arch_init(void);
     43extern void frame_low_arch_init(void);
     44extern void frame_high_arch_init(void);
    4445extern void physmem_print(void);
    4546

  • kernel/arch/mips32/src/mm/frame.c

    rec1c8e6 rddcc8a0  
    165165 *
    166166 */
    167 void frame_arch_init(void)
     167void frame_low_arch_init(void)
    168168{
    169169        ipl_t ipl = interrupts_disable();
    … …  
    246246}
    247247
     248void frame_high_arch_init(void)
     249{
     250}
    248251
    249252void physmem_print(void)

  • kernel/arch/mips64/include/mm/frame.h

    rec1c8e6 rddcc8a0  
    4141#ifndef __ASM__
    4242
    43 extern void frame_arch_init(void);
     43extern void frame_low_arch_init(void);
     44extern void frame_high_arch_init(void);
    4445extern void physmem_print(void);
    4546

  • kernel/arch/mips64/src/mm/frame.c

    rec1c8e6 rddcc8a0  
    156156 *
    157157 */
    158 void frame_arch_init(void)
     158void frame_low_arch_init(void)
    159159{
    160160        ipl_t ipl = interrupts_disable();
    … …  
    229229}
    230230
     231void frame_high_arch_init(void)
     232{
     233}
     234
    231235void physmem_print(void)
    232236{

  • kernel/arch/ppc32/include/mm/frame.h

    rec1c8e6 rddcc8a0  
    5858}
    5959
    60 extern void frame_arch_init(void);
     60extern void frame_low_arch_init(void);
     61extern void frame_high_arch_init(void);
    6162extern void physmem_print(void);
    6263

  • kernel/arch/ppc32/src/mm/frame.c

    rec1c8e6 rddcc8a0  
    5454}
    5555
    56 void frame_arch_init(void)
     56void frame_low_arch_init(void)
    5757{
    5858        pfn_t minconf = 2;
    … …  
    9292}
    9393
     94void frame_high_arch_init(void)
     95{
     96}
     97
    9498/** @}
    9599 */

  • kernel/arch/sparc64/include/mm/sun4u/frame.h

    rec1c8e6 rddcc8a0  
    7575extern uintptr_t end_of_identity;
    7676
    77 extern void frame_arch_init(void);
     77extern void frame_low_arch_init(void);
     78extern void frame_high_arch_init(void);
    7879#define physmem_print()
    7980

  • kernel/arch/sparc64/include/mm/sun4v/frame.h

    rec1c8e6 rddcc8a0  
    4747
    4848extern uintptr_t last_frame;
    49 extern void frame_arch_init(void);
     49extern void frame_low_arch_init(void);
     50extern void frame_high_arch_init(void);
    5051#define physmem_print()
    5152

  • kernel/arch/sparc64/src/mm/sun4u/frame.c

    rec1c8e6 rddcc8a0  
    4747 * Walk the memory map and create frame zones according to it.
    4848 */
    49 void frame_arch_init(void)
     49void frame_low_arch_init(void)
    5050{
    5151        if (config.cpu_active == 1) {
    … …  
    8787}
    8888
     89void frame_high_arch_init(void)
     90{
     91}
     92
    8993/** @}
    9094 */

  • kernel/arch/sparc64/src/mm/sun4v/frame.c

    rec1c8e6 rddcc8a0  
    4545 * Walk the memory map and create frame zones according to it.
    4646 */
    47 void frame_arch_init(void)
     47void frame_low_arch_init(void)
    4848{
    4949        if (config.cpu_active == 1) {
    … …  
    8181}
    8282
     83void frame_high_arch_init(void)
     84{
     85}
     86
    8387/** @}
    8488 */

  • kernel/generic/src/mm/frame.c

    rec1c8e6 rddcc8a0  
    12321232       
    12331233        /* Tell the architecture to create some memory */
    1234         frame_arch_init();
     1234        frame_low_arch_init();
    12351235        if (config.cpu_active == 1) {
    12361236                frame_mark_unavailable(ADDR2PFN(KA2PA(config.base)),
    … …  
    12551255                frame_mark_unavailable(0, 1);
    12561256        }
     1257        frame_high_arch_init();
    12571258}
    12581259
Note: See TracChangeset for help on using the changeset viewer.