GIET-VM / Mapping access functions

The utils.c​ and util.h​ files define the functions used to extract informations from the mapping_info data structure (defined in the mapping_info.h file), that has been loaded into system memory by the boot-loader.

They are prefixed by "_" to remind that they can only be executed by a processor in kernel mode.

mapping_cluster_t* _get_cluster_base( mapping_header_t* header )

Returns a pointer on the first cluster in the clusters array.

mapping_cluster_t* _get_cluster_base( mapping_header_t* header )

Returns a pointer on the first cluster in the clusters array.

mapping_pseg_t* _get_pseg_base( mapping_header_t* header )

Returns a pointer on the first pseg in the psegs array.

mapping_vspace_t* _get_vspace_base( mapping_header_t* header )

Returns a pointer on the first vspace in the vspaces array.

mapping_vseg_t* _get_vseg_base( mapping_header_t* header )

Returns a pointer on the first vseg in the vsegs array.

mapping_vobj_t* _get_vobj_base( mapping_header_t* header )

Returns a pointer on the first vobj in the vobjs array.

mapping_cluster_t* _get_task_base( mapping_header_t* header )

Returns a pointer on the first task in the tasks array.

mapping_cluster_t* _get_proc_base( mapping_header_t* header )

Returns a pointer on the first proc in the procs array.

mapping_cluster_t* _get_irq_base( mapping_header_t* header )

Returns a pointer on the first irq in the irqs array.

mapping_cluster_t* _get_coproc_base( mapping_header_t* header )

Returns a pointer on the first coproc in the coprocs array.

mapping_cluster_t* _get_cp_port_base( mapping_header_t* header )

Returns a pointer on the first cpport in the cpports array.

mapping_cluster_t* _get_periph_base( mapping_header_t* header )

Returns a pointer on the first periph in the periphs array.