diff options
Diffstat (limited to 'extras/mini-os/kernel.c')
| -rw-r--r-- | extras/mini-os/kernel.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/extras/mini-os/kernel.c b/extras/mini-os/kernel.c index d7a6841cd1..ca9b8f4c6b 100644 --- a/extras/mini-os/kernel.c +++ b/extras/mini-os/kernel.c @@ -110,7 +110,7 @@ void start_kernel(start_info_t *si) }; printk("\n"); printk(" blk_ring: 0x%lx\n", si->blk_ring); #endif - printk(" dom_id: %d\n", si->dom_id); + printk(" dom_id: %ld\n", si->dom_id); printk(" flags: 0x%lx\n", si->flags); printk(" cmd_line: %s\n", si->cmd_line ? (const char *)si->cmd_line : "NULL"); |