vdev/vdev_gicd.h File Reference

#include <hvmm_types.h>

Include dependency graph for vdev_gicd.h:

This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Typedefs
typedef void(*	vgicd_changed_istatus_callback_t )(vmid_t vmid, uint32_t istatus, uint8_t word_offset)
Functions
hvmm_status_t	vdev_gicd_init (uint32_t base_addr)
void	vgicd_set_callback_changed_istatus (vgicd_changed_istatus_callback_t callback)

---

Typedef Documentation

typedef void(* vgicd_changed_istatus_callback_t)(vmid_t vmid, uint32_t istatus, uint8_t word_offset)

Definition at line 7 of file vdev_gicd.h.

---

Function Documentation

hvmm_status_t vdev_gicd_init

(

uint32_t

base_addr

)

Definition at line 433 of file vdev_gicd.c.

{
    hvmm_status_t result = HVMM_STATUS_BUSY;

    vdev_gicd_reset_values();

    _vdev_info.name     = "vgicd";
    _vdev_info.base     = base_addr; 
    _vdev_info.size     = 4096;
    _vdev_info.handler  = access_handler;

    result = vdev_reg_device(&_vdev_info);
    if ( result == HVMM_STATUS_SUCCESS ) {
        printh("%s: vdev registered:'%s'\n", __FUNCTION__, _vdev_info.name);
    } else {
        printh("%s: Unable to register vdev:'%s' code=%x\n", __FUNCTION__, _vdev_info.name, result);
    }
    return result;
}

Here is the call graph for this function:

void vgicd_set_callback_changed_istatus

(

vgicd_changed_istatus_callback_t

callback

)

Definition at line 166 of file vdev_gicd.c.

{
    _cb_changed_istatus = callback;
}