diff options
author | Keir Fraser <keir.fraser@citrix.com> | 2009-03-02 10:52:07 +0000 |
---|---|---|
committer | Keir Fraser <keir.fraser@citrix.com> | 2009-03-02 10:52:07 +0000 |
commit | be9ce82fc47d82f3653bb4e25cdd9dbec97356ff (patch) | |
tree | 595e258122314a6b6bc21af1afc0631871d9e358 /extras/mini-os/kernel.c | |
parent | 6767a71fdd87ab218804a7f63ba71d4c2309b820 (diff) | |
download | xen-be9ce82fc47d82f3653bb4e25cdd9dbec97356ff.tar.gz xen-be9ce82fc47d82f3653bb4e25cdd9dbec97356ff.tar.bz2 xen-be9ce82fc47d82f3653bb4e25cdd9dbec97356ff.zip |
minios: general cleanup of mm.c
Major clean up of mm.c. Added comments, fixed coding style, more
sensible variable names, mark some local functions static etc.
Signed-off-by: Rolf Neugebauer <rolf.neugebauer@netronome.com>
Acked-by: Samuel Thibault <samuel.thibault@ens-lyon.org>
Diffstat (limited to 'extras/mini-os/kernel.c')
-rw-r--r-- | extras/mini-os/kernel.c | 18 |
1 files changed, 10 insertions, 8 deletions
diff --git a/extras/mini-os/kernel.c b/extras/mini-os/kernel.c index ba27e64ef4..bdd866462b 100644 --- a/extras/mini-os/kernel.c +++ b/extras/mini-os/kernel.c @@ -490,14 +490,16 @@ void start_kernel(start_info_t *si) /* print out some useful information */ printk("Xen Minimal OS!\n"); - printk("start_info: %p\n", si); - printk(" nr_pages: %lu", si->nr_pages); - printk(" shared_inf: %08lx\n", si->shared_info); - printk(" pt_base: %p", (void *)si->pt_base); - printk(" mod_start: 0x%lx\n", si->mod_start); - printk(" mod_len: %lu\n", si->mod_len); - printk(" flags: 0x%x\n", (unsigned int)si->flags); - printk(" cmd_line: %s\n", + printk(" start_info: %p(VA)\n", si); + printk(" nr_pages: 0x%lx\n", si->nr_pages); + printk(" shared_inf: 0x%08lx(MA)\n", si->shared_info); + printk(" pt_base: %p(VA)\n", (void *)si->pt_base); + printk("nr_pt_frames: 0x%lx\n", si->nr_pt_frames); + printk(" mfn_list: %p(VA)\n", (void *)si->mfn_list); + printk(" mod_start: 0x%lx(VA)\n", si->mod_start); + printk(" mod_len: %lu\n", si->mod_len); + printk(" flags: 0x%x\n", (unsigned int)si->flags); + printk(" cmd_line: %s\n", si->cmd_line ? (const char *)si->cmd_line : "NULL"); /* Set up events. */ |