Fork us on GitHub Follow us on Facebook Follow us on Twitter

Changeset 43dd8028 in mainline


Ignore:
Timestamp:
2013-09-11T11:56:17Z (8 years ago)
Author:
Martin Decky <martin@…>
Branches:
lfn, master
Children:
cd3b380
Parents:
7969087
Message:

fix the usage of frame_free

File:
1 edited

Legend:

Unmodified
Added
Removed
  • kernel/arch/arm32/src/mm/frame.c

    r7969087 r43dd8028  
    8888void boot_page_table_free(void)
    8989{
    90         unsigned int i;
    91         for (i = 0; i < BOOT_PAGE_TABLE_SIZE_IN_FRAMES; i++)
    92                 frame_free(i * FRAME_SIZE + BOOT_PAGE_TABLE_ADDRESS);
     90        frame_free(BOOT_PAGE_TABLE_ADDRESS,
     91            BOOT_PAGE_TABLE_SIZE_IN_FRAMES);
    9392}
    9493
Note: See TracChangeset for help on using the changeset viewer.