diff options
Diffstat (limited to 'extras/mini-os/arch/x86/setup.c')
-rw-r--r-- | extras/mini-os/arch/x86/setup.c | 8 |
1 files changed, 5 insertions, 3 deletions
diff --git a/extras/mini-os/arch/x86/setup.c b/extras/mini-os/arch/x86/setup.c index 3671fee332..8509079d3e 100644 --- a/extras/mini-os/arch/x86/setup.c +++ b/extras/mini-os/arch/x86/setup.c @@ -63,10 +63,12 @@ void failsafe_callback(void); static shared_info_t *map_shared_info(unsigned long pa) { - if ( HYPERVISOR_update_va_mapping( - (unsigned long)shared_info, __pte(pa | 7), UVMF_INVLPG) ) + int rc; + + if ( (rc = HYPERVISOR_update_va_mapping( + (unsigned long)shared_info, __pte(pa | 7), UVMF_INVLPG)) ) { - printk("Failed to map shared_info!!\n"); + printk("Failed to map shared_info!! rc=%d\n", rc); do_exit(); } return (shared_info_t *)shared_info; |