Changeset 532 for trunk/kernel/kern


Ignore:
Timestamp:
Sep 21, 2018, 10:20:00 PM (6 years ago)
Author:
nicolas.van.phan@…
Message:

Add message to show enabling of IPI on cores.

File:
1 edited

Legend:

Unmodified
Added
Removed
  • trunk/kernel/kern/kernel_init.c

    r530 r532  
    923923    dev_pic_enable_ipi();
    924924    hal_enable_irq( &status );
     925
     926#if DEBUG_KERNEL_INIT
     927printk("\n[DBG] %s: IPI enabled for core %d cluster %d\n", __FUNCTION__,
     928  core_lid, local_cxy);
     929#endif
    925930
    926931    // all cores initialize the idle thread descriptor
Note: See TracChangeset for help on using the changeset viewer.