Changeset 645 for soft/giet_vm


Ignore:
Timestamp:
Jul 22, 2015, 1:03:20 PM (9 years ago)
Author:
alain
Message:

Introduce the "active" field in vspace.

Location:
soft/giet_vm/giet_xml
Files:
3 edited

Legend:

Unmodified
Added
Removed
  • soft/giet_vm/giet_xml/mapping_info.h

    r627 r645  
    186186    unsigned int    vseg_offset;     // global index of first vseg in vspace
    187187    unsigned int    task_offset;     // global index of first task in vspace
     188    unsigned int    active;          // always active if non zero
    188189} mapping_vspace_t;
    189190
  • soft/giet_vm/giet_xml/xml_driver.c

    r627 r645  
    309309    {
    310310        unsigned int vseg_id = vspace[vspace_id].start_vseg_id;
    311         fprintf(fpout, "        <vspace name = \"%s\" ", vspace[vspace_id].name);
    312         fprintf(fpout, " startname = \"%s\" >\n", vseg[vseg_id].name);
     311        fprintf(fpout, "        <vspace name=\"%s\"", vspace[vspace_id].name);
     312        fprintf(fpout, " startname=\"%s\"", vseg[vseg_id].name);
     313        fprintf(fpout, " active=\"%d\" >\n", vspace[vspace_id].active);
    313314
    314315        //////////////////// vsegs //////////////////////////////////////////////
  • soft/giet_vm/giet_xml/xml_parser.c

    r627 r645  
    722722    }
    723723
     724    ////////// get active attribute (optional / default is 0)
     725    unsigned int value = getIntValue(reader, "active", &ok);
     726    if (ok) vspace[vspace_index]->active = value;
     727    else    vspace[vspace_index]->active = 0;
     728   
    724729    ////////// set vseg_offset and task_offset attributes
    725730    vspace[vspace_index]->vseg_offset = vseg_index;
     
    776781printf("      vseg_offset = %d\n", vspace[vspace_index]->vseg_offset );
    777782printf("      task_offset = %d\n", vspace[vspace_index]->task_offset );
    778 printf("      startname   = %s\n", start_name);
    779 printf("      start_id    = %d\n", index);
     783printf("      start_id    = %d\n", vspace[vspace_index]->start_vseg_id );
     784printf("      active      = %x\n", vspace[vspace_index]->active );
    780785printf("  end vspace %d\n\n", vspace_index);
    781786#endif
Note: See TracChangeset for help on using the changeset viewer.