Ignore:
Timestamp:
Sep 29, 2014, 12:02:13 PM (10 years ago)
Author:
alain
Message:

Introducing support for the PIC_MASK register in pic_driver.

File:
1 edited

Legend:

Unmodified
Added
Removed

  • soft/giet_vm/giet_drivers/pic_driver.h

    r298 r413  
    44// Author   : alain greiner
    55// Copyright (c) UPMC-LIP6
     6///////////////////////////////////////////////////////////////////////////////////
     7// The pic_driver.c and pic_drivers.h files are part ot the GIET-VM kernel.
     8// This driver supports the SocLib vci_iopic component.
     9//
     10// The SEG_PIC_BASE address must be defined in hard_config.h file.
    611///////////////////////////////////////////////////////////////////////////////////
    712
    … …  
    1823    IOPIC_EXTEND  = 1,
    1924    IOPIC_STATUS  = 2,
     25    IOPIC_MASK    = 3,
    2026    /**/
    2127    IOPIC_SPAN    = 4,
    … …  
    2632//////////////////////////////////////////////////////////////////////////////////
    2733
     34/////////////////////////////////////////////////////////////////////////////////
     35// This function initializes the XICU target physical address (vaddr + extend)
     36// corresponding to a given HWI channel.
     37/////////////////////////////////////////////////////////////////////////////////
    2838extern void _pic_init( unsigned int channel,     // source PIC HWI channel
    2939                       unsigned int vaddr,       // dest XCU WTI address
    3040                       unsigned int extend );    // dest XCU cluster_xy
    3141
     42/////////////////////////////////////////////////////////////////////////////////
     43// This function returns the status of a given HWI channel.
     44/////////////////////////////////////////////////////////////////////////////////
    3245extern unsigned int _pic_get_status( unsigned int channel );
    3346
    … …  
    3649///////////////////////////////////////////////////////////////////////////////////
    3750
     51/////////////////////////////////////////////////////////////////////////////////
     52// This low level function returns the value of register (channel / index)
     53/////////////////////////////////////////////////////////////////////////////////
    3854extern unsigned int _pic_get_register( unsigned int channel,
    3955                                       unsigned int index );
    4056
     57/////////////////////////////////////////////////////////////////////////////////
     58// This low level function set a new value in register (channel / index) 
     59/////////////////////////////////////////////////////////////////////////////////
    4160extern void _pic_set_register( unsigned int channel,
    4261                               unsigned int index,
Note: See TracChangeset for help on using the changeset viewer.