Ignore:
Timestamp:
Nov 20, 2020, 12:30:31 AM (23 months ago)
Author:
alain
Message:

Mainly cosmetic.

File:
1 edited

Legend:

Unmodified
Added
Removed
  • trunk/hal/x86_64/drivers/pic_apic.c

    r492 r679  
    8080                irq_id = iopic_input.txt[channel];
    8181        else
    82                 assert(false, "unsupported device\n");
     82                assert( __FUNCTION__,false, "unsupported device\n");
    8383
    8484        /* get the ISR pointer */
     
    109109                irq_id = iopic_input.txt[channel];
    110110        else
    111                 assert(false, "unsupported device\n");
     111                assert( __FUNCTION__,false, "unsupported device\n");
    112112
    113113        /* enable the line */
     
    128128                irq_id = iopic_input.txt[channel];
    129129        else
    130                 assert(false, "unsupported device\n");
     130                assert( __FUNCTION__,false, "unsupported device\n");
    131131
    132132        /* disable the line */
Note: See TracChangeset for help on using the changeset viewer.