Changeset 401 for trunk/kernel/kern


Ignore:
Timestamp:
Aug 17, 2017, 3:02:18 PM (5 years ago)
Author:
alain
Message:

Few bugs in VMM

Location:
trunk/kernel/kern
Files:
2 edited

Legend:

Unmodified
Added
Removed
  • trunk/kernel/kern/kernel_init.c

    r398 r401  
    10671067    {
    10681068        process_init_create();
    1069         vfs_display( vfs_root_inode_xp );
    10701069    }
    10711070
     
    10881087        print_banner( (info->x_size * info->y_size) , info->cores_nr );
    10891088
     1089        vfs_display( vfs_root_inode_xp );
     1090       
    10901091        kinit_dmsg("\n\n***** memory fooprint for main kernel objects\n\n"
    10911092                   " - thread descriptor  : %d bytes\n"
  • trunk/kernel/kern/rpc.h

    r389 r401  
    494494                              intptr_t           vaddr,
    495495                              xptr_t           * vseg_xp,
    496                               error_t            error );
     496                              error_t          * error );
    497497
    498498void rpc_vmm_get_vseg_server( xptr_t xp );
Note: See TracChangeset for help on using the changeset viewer.