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

Changeset edd7c63c in mainline


Ignore:
Timestamp:
2012-02-16T11:29:43Z (8 years ago)
Author:
Martin Decky <martin@…>
Branches:
master
Children:
c01bb5f9
Parents:
e10d41a
git-author:
Thomas Sanchez <> (2012-02-16 11:29:43)
git-committer:
Martin Decky <martin@…> (2012-02-16 11:29:43)
Message:

fix compilation (thx Thomas Sanchez)

File:
1 edited

Legend:

Unmodified
Added
Removed
  • kernel/generic/src/main/main.c

    re10d41a redd7c63c  
    257257                for (i = 0; i < init.cnt; i++)
    258258                        LOG("init[%zu].addr=%p, init[%zu].size=%zu",
    259                             i, (void *) init.tasks[i].addr, i, init.tasks[i].size);
     259                            i, (void *) init.tasks[i].paddr, i, init.tasks[i].size);
    260260        } else
    261261                printf("No init binaries found.\n");
Note: See TracChangeset for help on using the changeset viewer.