Ignore:
Timestamp:
Jul 12, 2017, 8:12:41 PM (5 years ago)
Author:
alain
Message:

Redefine the PIC device API.

File:
1 edited

Legend:

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

    r126 r188  
    3030#include <thread.h>
    3131#include <chdev.h>
    32 #include <dev_icu.h>
     32#include <dev_pic.h>
    3333#include <rpc.h>
    3434#include <cluster.h>
     
    5050        core->usage             = 0;
    5151        core->spurious_irqs     = 0;
    52         core->rpc_threads       = 0;
    53 
    54         list_root_init( &core->rpc_free_list );
    55 
    56         core->thread_rpc        = NULL;
     52    core->rpc_threads       = 0;
    5753        core->thread_idle       = NULL;
    5854        core->fpu_owner         = NULL;
    5955        core->rand_last         = hal_time_stamp() & 0xFFF;
    6056
     57    // initialize scheduler
    6158        sched_init( core );
    6259}
     
    167164}
    168165
     166
     167/* deprecated [AG] july 20017
    169168///////////////////////////////////////////////////
    170169void core_set_irq_vector_entry( core_t   * core,
     
    177176        else                            core->pti_vector[irq_id] = chdev;
    178177}
     178*/
Note: See TracChangeset for help on using the changeset viewer.