diff mbox series

[v3,4/8] hw/intc: GICv3 ITS Command processing

Message ID 20210429234201.125565-5-shashi.mallela@linaro.org
State Superseded
Headers show
Series GICv3 LPI and ITS feature implementation | expand

Commit Message

Shashi Mallela April 29, 2021, 11:41 p.m. UTC
Added ITS command queue handling for MAPTI,MAPI commands,handled ITS
translation which triggers an LPI via INT command as well as write
to GITS_TRANSLATER register,defined enum to differentiate between ITS
command interrupt trigger and GITS_TRANSLATER based interrupt trigger.
Each of these commands make use of other functionalities implemented to
get device table entry,collection table entry or interrupt translation
table entry required for their processing.

Signed-off-by: Shashi Mallela <shashi.mallela@linaro.org>

---
 hw/intc/arm_gicv3_its.c            | 346 ++++++++++++++++++++++++++++-
 hw/intc/gicv3_internal.h           |  12 +
 include/hw/intc/arm_gicv3_common.h |   2 +
 3 files changed, 359 insertions(+), 1 deletion(-)

-- 
2.27.0

Comments

Peter Maydell May 18, 2021, 3:49 p.m. UTC | #1
On Fri, 30 Apr 2021 at 00:42, Shashi Mallela <shashi.mallela@linaro.org> wrote:
>

> Added ITS command queue handling for MAPTI,MAPI commands,handled ITS

> translation which triggers an LPI via INT command as well as write

> to GITS_TRANSLATER register,defined enum to differentiate between ITS

> command interrupt trigger and GITS_TRANSLATER based interrupt trigger.

> Each of these commands make use of other functionalities implemented to

> get device table entry,collection table entry or interrupt translation

> table entry required for their processing.

>

> Signed-off-by: Shashi Mallela <shashi.mallela@linaro.org>

> ---

>  hw/intc/arm_gicv3_its.c            | 346 ++++++++++++++++++++++++++++-

>  hw/intc/gicv3_internal.h           |  12 +

>  include/hw/intc/arm_gicv3_common.h |   2 +

>  3 files changed, 359 insertions(+), 1 deletion(-)

>

> diff --git a/hw/intc/arm_gicv3_its.c b/hw/intc/arm_gicv3_its.c

> index 7cb465813a..98c984dd22 100644

> --- a/hw/intc/arm_gicv3_its.c

> +++ b/hw/intc/arm_gicv3_its.c

> @@ -28,6 +28,156 @@ struct GICv3ITSClass {

>      void (*parent_reset)(DeviceState *dev);

>  };

>

> +typedef enum ItsCmdType {

> +    NONE = 0, /* internal indication for GITS_TRANSLATER write */

> +    CLEAR = 1,

> +    DISCARD = 2,

> +    INT = 3,

> +} ItsCmdType;

> +

> +static bool get_cte(GICv3ITSState *s, uint16_t icid, uint64_t *cte,

> +    MemTxResult *res)

> +{

> +    AddressSpace *as = &s->gicv3->dma_as;

> +    uint64_t l2t_addr;

> +    uint64_t value;

> +    bool valid_l2t;

> +    uint32_t l2t_id;

> +    uint32_t max_l2_entries;

> +    bool status = false;

> +

> +    if (s->ct.indirect) {

> +        l2t_id = icid / (s->ct.page_sz / L1TABLE_ENTRY_SIZE);

> +

> +        value = address_space_ldq_le(as,

> +                                     s->ct.base_addr +

> +                                     (l2t_id * L1TABLE_ENTRY_SIZE),

> +                                     MEMTXATTRS_UNSPECIFIED, res);

> +

> +        if (*res == MEMTX_OK) {

> +            valid_l2t = (value >> VALID_SHIFT) & VALID_MASK;

> +

> +            if (valid_l2t) {

> +                max_l2_entries = s->ct.page_sz / s->ct.entry_sz;

> +

> +                l2t_addr = value & ((1ULL << 51) - 1);

> +

> +                *cte =  address_space_ldq_le(as, l2t_addr +

> +                                    ((icid % max_l2_entries) * GITS_CTE_SIZE),

> +                                    MEMTXATTRS_UNSPECIFIED, res);

> +           }

> +       }

> +    } else {

> +        /* Flat level table */

> +        *cte =  address_space_ldq_le(as, s->ct.base_addr +

> +                                     (icid * GITS_CTE_SIZE),

> +                                      MEMTXATTRS_UNSPECIFIED, res);

> +    }

> +

> +    if (*cte & VALID_MASK) {

> +        status = true;

> +    }

> +

> +    return status;

> +}

> +

> +static MemTxResult update_ite(GICv3ITSState *s, uint32_t eventid, uint64_t dte,

> +    uint64_t itel, uint32_t iteh)

> +{

> +    AddressSpace *as = &s->gicv3->dma_as;

> +    uint64_t itt_addr;

> +    MemTxResult res = MEMTX_OK;

> +

> +    itt_addr = (dte >> 6ULL) & ITTADDR_MASK;

> +    itt_addr <<= ITTADDR_SHIFT; /* 256 byte aligned */

> +

> +    address_space_stq_le(as, itt_addr + (eventid * sizeof(uint64_t)),

> +                         itel, MEMTXATTRS_UNSPECIFIED, &res);

> +

> +    if (res == MEMTX_OK) {

> +        address_space_stl_le(as, itt_addr + ((eventid + sizeof(uint64_t)) *

> +                             sizeof(uint32_t)), iteh, MEMTXATTRS_UNSPECIFIED,

> +                             &res);

> +    }

> +   return res;

> +}

> +

> +static bool get_ite(GICv3ITSState *s, uint32_t eventid, uint64_t dte,

> +                      uint16_t *icid, uint32_t *pIntid, MemTxResult *res)

> +{

> +    AddressSpace *as = &s->gicv3->dma_as;

> +    uint64_t itt_addr;

> +    bool status = false;

> +    uint64_t itel = 0;

> +    uint32_t iteh = 0;

> +

> +    itt_addr = (dte >> 6ULL) & ITTADDR_MASK;

> +    itt_addr <<= ITTADDR_SHIFT; /* 256 byte aligned */

> +

> +    itel = address_space_ldq_le(as, itt_addr + (eventid * sizeof(uint64_t)),

> +                                MEMTXATTRS_UNSPECIFIED, res);

> +

> +    if (*res == MEMTX_OK) {

> +        iteh = address_space_ldl_le(as, itt_addr + ((eventid +

> +                                    sizeof(uint64_t)) * sizeof(uint32_t)),

> +                                    MEMTXATTRS_UNSPECIFIED, res);

> +

> +        if (*res == MEMTX_OK) {

> +            if (itel & VALID_MASK) {

> +                if ((itel >> ITE_ENTRY_INTTYPE_SHIFT) & GITS_TYPE_PHYSICAL) {

> +                    *pIntid = (itel >> ITE_ENTRY_INTID_SHIFT) &

> +                              ITE_ENTRY_INTID_MASK;

> +                    *icid = iteh & ITE_ENTRY_ICID_MASK;

> +                    status = true;

> +                }

> +            }

> +        }

> +    }

> +    return status;

> +}

> +

> +static uint64_t get_dte(GICv3ITSState *s, uint32_t devid, MemTxResult *res)

> +{

> +    AddressSpace *as = &s->gicv3->dma_as;

> +    uint64_t l2t_addr;

> +    uint64_t value;

> +    bool valid_l2t;

> +    uint32_t l2t_id;

> +    uint32_t max_l2_entries;

> +

> +    if (s->dt.indirect) {

> +        l2t_id = devid / (s->dt.page_sz / L1TABLE_ENTRY_SIZE);

> +

> +        value = address_space_ldq_le(as,

> +                                     s->dt.base_addr +

> +                                     (l2t_id * L1TABLE_ENTRY_SIZE),

> +                                     MEMTXATTRS_UNSPECIFIED, res);

> +

> +        if (*res == MEMTX_OK) {

> +            valid_l2t = (value >> VALID_SHIFT) & VALID_MASK;

> +

> +            if (valid_l2t) {

> +                max_l2_entries = s->dt.page_sz / s->dt.entry_sz;

> +

> +                l2t_addr = value & ((1ULL << 51) - 1);

> +

> +                value = 0;


This assignment is pointless because we assign again to value immediately
afterwards.

> +                value =  address_space_ldq_le(as, l2t_addr +

> +                                   ((devid % max_l2_entries) * GITS_DTE_SIZE),

> +                                   MEMTXATTRS_UNSPECIFIED, res);

> +            }

> +        }

> +    } else {

> +        /* Flat level table */

> +        value = 0;


Ditto.

> +        value = address_space_ldq_le(as, s->dt.base_addr +

> +                                           (devid * GITS_DTE_SIZE),

> +                                    MEMTXATTRS_UNSPECIFIED, res);

> +    }

> +

> +    return value;

> +}

> +

>  static MemTxResult process_sync(GICv3ITSState *s, uint32_t offset)

>  {

>      AddressSpace *as = &s->gicv3->dma_as;

> @@ -55,6 +205,182 @@ static MemTxResult process_sync(GICv3ITSState *s, uint32_t offset)

>      return res;

>  }

>

> +static MemTxResult process_int(GICv3ITSState *s, uint64_t value,

> +                                uint32_t offset, ItsCmdType cmd)

> +{

> +    AddressSpace *as = &s->gicv3->dma_as;

> +    uint32_t devid, eventid;

> +    MemTxResult res = MEMTX_OK;

> +    bool dte_valid;

> +    uint64_t dte = 0;

> +    uint32_t max_eventid;

> +    uint16_t icid = 0;

> +    uint32_t pIntid = 0;

> +    bool ite_valid = false;

> +    uint64_t cte = 0;

> +    bool cte_valid = false;

> +    uint64_t itel = 0;

> +    uint32_t iteh = 0;

> +

> +    if (cmd == NONE) {

> +        devid = offset;

> +    } else {

> +        devid = (value >> DEVID_SHIFT) & DEVID_MASK;

> +

> +        offset += NUM_BYTES_IN_DW;

> +        value = address_space_ldq_le(as, s->cq.base_addr + offset,

> +                                 MEMTXATTRS_UNSPECIFIED, &res);

> +    }

> +

> +    if (res != MEMTX_OK) {

> +        return res;

> +    }

> +

> +    eventid = (value & EVENTID_MASK);

> +

> +    dte = get_dte(s, devid, &res);

> +

> +    if (res != MEMTX_OK) {

> +        return res;

> +    }

> +    dte_valid = dte & VALID_MASK;

> +

> +    if (dte_valid) {

> +        max_eventid = (1UL << (((dte >> 1U) & SIZE_MASK) + 1));

> +

> +        ite_valid = get_ite(s, eventid, dte, &icid, &pIntid, &res);

> +

> +        if (res != MEMTX_OK) {

> +            return res;

> +        }

> +

> +        if (ite_valid) {

> +            cte_valid = get_cte(s, icid, &cte, &res);

> +        }

> +

> +        if (res != MEMTX_OK) {

> +            return res;

> +        }

> +    }

> +

> +    if ((devid > s->dt.max_devids) || !dte_valid || !ite_valid ||

> +            !cte_valid || (eventid > max_eventid)) {

> +        qemu_log_mask(LOG_GUEST_ERROR,

> +            "%s: invalid interrupt translation table attributes "

> +            "devid %d or eventid %d\n",

> +            __func__, devid, eventid);

> +        /*

> +         * in this implementation,in case of error

> +         * we ignore this command and move onto the next

> +         * command in the queue

> +         */


...but we could just return an error from this function and
get the 'stall' behaviour. It would be more consistent to just
stall for everything, if we're going to be stalling for various
kinds of "failed to read memory" anyway. (Same for some instances
of this in the previous patches.)

> +    } else {

> +        /*

> +         * Current implementation only supports rdbase == procnum

> +         * Hence rdbase physical address is ignored

> +         */

> +        if (cmd == DISCARD) {

> +            /* remove mapping from interrupt translation table */

> +            res = update_ite(s, eventid, dte, itel, iteh);

> +        }

> +    }

> +

> +    if (cmd != NONE) {

> +        offset += NUM_BYTES_IN_DW;

> +        offset += NUM_BYTES_IN_DW;


More dead increments.

> +    }

> +

> +    return res;

> +}

> +


-- PMM
Shashi Mallela May 25, 2021, 5:57 p.m. UTC | #2
Have taken care of all comments ,except one with my inline response

On Tue, 2021-05-18 at 16:49 +0100, Peter Maydell wrote:
> On Fri, 30 Apr 2021 at 00:42, Shashi Mallela <

> shashi.mallela@linaro.org> wrote:

> > Added ITS command queue handling for MAPTI,MAPI commands,handled

> > ITS

> > translation which triggers an LPI via INT command as well as write

> > to GITS_TRANSLATER register,defined enum to differentiate between

> > ITS

> > command interrupt trigger and GITS_TRANSLATER based interrupt

> > trigger.

> > Each of these commands make use of other functionalities

> > implemented to

> > get device table entry,collection table entry or interrupt

> > translation

> > table entry required for their processing.

> > 

> > Signed-off-by: Shashi Mallela <shashi.mallela@linaro.org>

> > ---

> >  hw/intc/arm_gicv3_its.c            | 346

> > ++++++++++++++++++++++++++++-

> >  hw/intc/gicv3_internal.h           |  12 +

> >  include/hw/intc/arm_gicv3_common.h |   2 +

> >  3 files changed, 359 insertions(+), 1 deletion(-)

> > 

> > diff --git a/hw/intc/arm_gicv3_its.c b/hw/intc/arm_gicv3_its.c

> > index 7cb465813a..98c984dd22 100644

> > --- a/hw/intc/arm_gicv3_its.c

> > +++ b/hw/intc/arm_gicv3_its.c

> > @@ -28,6 +28,156 @@ struct GICv3ITSClass {

> >      void (*parent_reset)(DeviceState *dev);

> >  };

> > 

> > +typedef enum ItsCmdType {

> > +    NONE = 0, /* internal indication for GITS_TRANSLATER write */

> > +    CLEAR = 1,

> > +    DISCARD = 2,

> > +    INT = 3,

> > +} ItsCmdType;

> > +

> > +static bool get_cte(GICv3ITSState *s, uint16_t icid, uint64_t

> > *cte,

> > +    MemTxResult *res)

> > +{

> > +    AddressSpace *as = &s->gicv3->dma_as;

> > +    uint64_t l2t_addr;

> > +    uint64_t value;

> > +    bool valid_l2t;

> > +    uint32_t l2t_id;

> > +    uint32_t max_l2_entries;

> > +    bool status = false;

> > +

> > +    if (s->ct.indirect) {

> > +        l2t_id = icid / (s->ct.page_sz / L1TABLE_ENTRY_SIZE);

> > +

> > +        value = address_space_ldq_le(as,

> > +                                     s->ct.base_addr +

> > +                                     (l2t_id *

> > L1TABLE_ENTRY_SIZE),

> > +                                     MEMTXATTRS_UNSPECIFIED, res);

> > +

> > +        if (*res == MEMTX_OK) {

> > +            valid_l2t = (value >> VALID_SHIFT) & VALID_MASK;

> > +

> > +            if (valid_l2t) {

> > +                max_l2_entries = s->ct.page_sz / s->ct.entry_sz;

> > +

> > +                l2t_addr = value & ((1ULL << 51) - 1);

> > +

> > +                *cte =  address_space_ldq_le(as, l2t_addr +

> > +                                    ((icid % max_l2_entries) *

> > GITS_CTE_SIZE),

> > +                                    MEMTXATTRS_UNSPECIFIED, res);

> > +           }

> > +       }

> > +    } else {

> > +        /* Flat level table */

> > +        *cte =  address_space_ldq_le(as, s->ct.base_addr +

> > +                                     (icid * GITS_CTE_SIZE),

> > +                                      MEMTXATTRS_UNSPECIFIED,

> > res);

> > +    }

> > +

> > +    if (*cte & VALID_MASK) {

> > +        status = true;

> > +    }

> > +

> > +    return status;

> > +}

> > +

> > +static MemTxResult update_ite(GICv3ITSState *s, uint32_t eventid,

> > uint64_t dte,

> > +    uint64_t itel, uint32_t iteh)

> > +{

> > +    AddressSpace *as = &s->gicv3->dma_as;

> > +    uint64_t itt_addr;

> > +    MemTxResult res = MEMTX_OK;

> > +

> > +    itt_addr = (dte >> 6ULL) & ITTADDR_MASK;

> > +    itt_addr <<= ITTADDR_SHIFT; /* 256 byte aligned */

> > +

> > +    address_space_stq_le(as, itt_addr + (eventid *

> > sizeof(uint64_t)),

> > +                         itel, MEMTXATTRS_UNSPECIFIED, &res);

> > +

> > +    if (res == MEMTX_OK) {

> > +        address_space_stl_le(as, itt_addr + ((eventid +

> > sizeof(uint64_t)) *

> > +                             sizeof(uint32_t)), iteh,

> > MEMTXATTRS_UNSPECIFIED,

> > +                             &res);

> > +    }

> > +   return res;

> > +}

> > +

> > +static bool get_ite(GICv3ITSState *s, uint32_t eventid, uint64_t

> > dte,

> > +                      uint16_t *icid, uint32_t *pIntid,

> > MemTxResult *res)

> > +{

> > +    AddressSpace *as = &s->gicv3->dma_as;

> > +    uint64_t itt_addr;

> > +    bool status = false;

> > +    uint64_t itel = 0;

> > +    uint32_t iteh = 0;

> > +

> > +    itt_addr = (dte >> 6ULL) & ITTADDR_MASK;

> > +    itt_addr <<= ITTADDR_SHIFT; /* 256 byte aligned */

> > +

> > +    itel = address_space_ldq_le(as, itt_addr + (eventid *

> > sizeof(uint64_t)),

> > +                                MEMTXATTRS_UNSPECIFIED, res);

> > +

> > +    if (*res == MEMTX_OK) {

> > +        iteh = address_space_ldl_le(as, itt_addr + ((eventid +

> > +                                    sizeof(uint64_t)) *

> > sizeof(uint32_t)),

> > +                                    MEMTXATTRS_UNSPECIFIED, res);

> > +

> > +        if (*res == MEMTX_OK) {

> > +            if (itel & VALID_MASK) {

> > +                if ((itel >> ITE_ENTRY_INTTYPE_SHIFT) &

> > GITS_TYPE_PHYSICAL) {

> > +                    *pIntid = (itel >> ITE_ENTRY_INTID_SHIFT) &

> > +                              ITE_ENTRY_INTID_MASK;

> > +                    *icid = iteh & ITE_ENTRY_ICID_MASK;

> > +                    status = true;

> > +                }

> > +            }

> > +        }

> > +    }

> > +    return status;

> > +}

> > +

> > +static uint64_t get_dte(GICv3ITSState *s, uint32_t devid,

> > MemTxResult *res)

> > +{

> > +    AddressSpace *as = &s->gicv3->dma_as;

> > +    uint64_t l2t_addr;

> > +    uint64_t value;

> > +    bool valid_l2t;

> > +    uint32_t l2t_id;

> > +    uint32_t max_l2_entries;

> > +

> > +    if (s->dt.indirect) {

> > +        l2t_id = devid / (s->dt.page_sz / L1TABLE_ENTRY_SIZE);

> > +

> > +        value = address_space_ldq_le(as,

> > +                                     s->dt.base_addr +

> > +                                     (l2t_id *

> > L1TABLE_ENTRY_SIZE),

> > +                                     MEMTXATTRS_UNSPECIFIED, res);

> > +

> > +        if (*res == MEMTX_OK) {

> > +            valid_l2t = (value >> VALID_SHIFT) & VALID_MASK;

> > +

> > +            if (valid_l2t) {

> > +                max_l2_entries = s->dt.page_sz / s->dt.entry_sz;

> > +

> > +                l2t_addr = value & ((1ULL << 51) - 1);

> > +

> > +                value = 0;

> 

> This assignment is pointless because we assign again to value

> immediately

> afterwards.

> 

> > +                value =  address_space_ldq_le(as, l2t_addr +

> > +                                   ((devid % max_l2_entries) *

> > GITS_DTE_SIZE),

> > +                                   MEMTXATTRS_UNSPECIFIED, res);

> > +            }

> > +        }

> > +    } else {

> > +        /* Flat level table */

> > +        value = 0;

> 

> Ditto.

> 

> > +        value = address_space_ldq_le(as, s->dt.base_addr +

> > +                                           (devid *

> > GITS_DTE_SIZE),

> > +                                    MEMTXATTRS_UNSPECIFIED, res);

> > +    }

> > +

> > +    return value;

> > +}

> > +

> >  static MemTxResult process_sync(GICv3ITSState *s, uint32_t offset)

> >  {

> >      AddressSpace *as = &s->gicv3->dma_as;

> > @@ -55,6 +205,182 @@ static MemTxResult process_sync(GICv3ITSState

> > *s, uint32_t offset)

> >      return res;

> >  }

> > 

> > +static MemTxResult process_int(GICv3ITSState *s, uint64_t value,

> > +                                uint32_t offset, ItsCmdType cmd)

> > +{

> > +    AddressSpace *as = &s->gicv3->dma_as;

> > +    uint32_t devid, eventid;

> > +    MemTxResult res = MEMTX_OK;

> > +    bool dte_valid;

> > +    uint64_t dte = 0;

> > +    uint32_t max_eventid;

> > +    uint16_t icid = 0;

> > +    uint32_t pIntid = 0;

> > +    bool ite_valid = false;

> > +    uint64_t cte = 0;

> > +    bool cte_valid = false;

> > +    uint64_t itel = 0;

> > +    uint32_t iteh = 0;

> > +

> > +    if (cmd == NONE) {

> > +        devid = offset;

> > +    } else {

> > +        devid = (value >> DEVID_SHIFT) & DEVID_MASK;

> > +

> > +        offset += NUM_BYTES_IN_DW;

> > +        value = address_space_ldq_le(as, s->cq.base_addr + offset,

> > +                                 MEMTXATTRS_UNSPECIFIED, &res);

> > +    }

> > +

> > +    if (res != MEMTX_OK) {

> > +        return res;

> > +    }

> > +

> > +    eventid = (value & EVENTID_MASK);

> > +

> > +    dte = get_dte(s, devid, &res);

> > +

> > +    if (res != MEMTX_OK) {

> > +        return res;

> > +    }

> > +    dte_valid = dte & VALID_MASK;

> > +

> > +    if (dte_valid) {

> > +        max_eventid = (1UL << (((dte >> 1U) & SIZE_MASK) + 1));

> > +

> > +        ite_valid = get_ite(s, eventid, dte, &icid, &pIntid,

> > &res);

> > +

> > +        if (res != MEMTX_OK) {

> > +            return res;

> > +        }

> > +

> > +        if (ite_valid) {

> > +            cte_valid = get_cte(s, icid, &cte, &res);

> > +        }

> > +

> > +        if (res != MEMTX_OK) {

> > +            return res;

> > +        }

> > +    }

> > +

> > +    if ((devid > s->dt.max_devids) || !dte_valid || !ite_valid ||

> > +            !cte_valid || (eventid > max_eventid)) {

> > +        qemu_log_mask(LOG_GUEST_ERROR,

> > +            "%s: invalid interrupt translation table attributes "

> > +            "devid %d or eventid %d\n",

> > +            __func__, devid, eventid);

> > +        /*

> > +         * in this implementation,in case of error

> > +         * we ignore this command and move onto the next

> > +         * command in the queue

> > +         */

> 

> ...but we could just return an error from this function and

> get the 'stall' behaviour. It would be more consistent to just

> stall for everything, if we're going to be stalling for various

> kinds of "failed to read memory" anyway. (Same for some instances

> of this in the previous patches.)

>

> The intent here was to chose the spec defined options to 'ignore and

> move on' for all ITS command specific errors but differentiate system

> errors like mem read/write with 'implementation defined' STALL.

>

> 

> > +    } else {

> > +        /*

> > +         * Current implementation only supports rdbase == procnum

> > +         * Hence rdbase physical address is ignored

> > +         */

> > +        if (cmd == DISCARD) {

> > +            /* remove mapping from interrupt translation table */

> > +            res = update_ite(s, eventid, dte, itel, iteh);

> > +        }

> > +    }

> > +

> > +    if (cmd != NONE) {

> > +        offset += NUM_BYTES_IN_DW;

> > +        offset += NUM_BYTES_IN_DW;

> 

> More dead increments.

> 

> > +    }

> > +

> > +    return res;

> > +}

> > +

> 

> -- PMM
diff mbox series

Patch

diff --git a/hw/intc/arm_gicv3_its.c b/hw/intc/arm_gicv3_its.c
index 7cb465813a..98c984dd22 100644
--- a/hw/intc/arm_gicv3_its.c
+++ b/hw/intc/arm_gicv3_its.c
@@ -28,6 +28,156 @@  struct GICv3ITSClass {
     void (*parent_reset)(DeviceState *dev);
 };
 
+typedef enum ItsCmdType {
+    NONE = 0, /* internal indication for GITS_TRANSLATER write */
+    CLEAR = 1,
+    DISCARD = 2,
+    INT = 3,
+} ItsCmdType;
+
+static bool get_cte(GICv3ITSState *s, uint16_t icid, uint64_t *cte,
+    MemTxResult *res)
+{
+    AddressSpace *as = &s->gicv3->dma_as;
+    uint64_t l2t_addr;
+    uint64_t value;
+    bool valid_l2t;
+    uint32_t l2t_id;
+    uint32_t max_l2_entries;
+    bool status = false;
+
+    if (s->ct.indirect) {
+        l2t_id = icid / (s->ct.page_sz / L1TABLE_ENTRY_SIZE);
+
+        value = address_space_ldq_le(as,
+                                     s->ct.base_addr +
+                                     (l2t_id * L1TABLE_ENTRY_SIZE),
+                                     MEMTXATTRS_UNSPECIFIED, res);
+
+        if (*res == MEMTX_OK) {
+            valid_l2t = (value >> VALID_SHIFT) & VALID_MASK;
+
+            if (valid_l2t) {
+                max_l2_entries = s->ct.page_sz / s->ct.entry_sz;
+
+                l2t_addr = value & ((1ULL << 51) - 1);
+
+                *cte =  address_space_ldq_le(as, l2t_addr +
+                                    ((icid % max_l2_entries) * GITS_CTE_SIZE),
+                                    MEMTXATTRS_UNSPECIFIED, res);
+           }
+       }
+    } else {
+        /* Flat level table */
+        *cte =  address_space_ldq_le(as, s->ct.base_addr +
+                                     (icid * GITS_CTE_SIZE),
+                                      MEMTXATTRS_UNSPECIFIED, res);
+    }
+
+    if (*cte & VALID_MASK) {
+        status = true;
+    }
+
+    return status;
+}
+
+static MemTxResult update_ite(GICv3ITSState *s, uint32_t eventid, uint64_t dte,
+    uint64_t itel, uint32_t iteh)
+{
+    AddressSpace *as = &s->gicv3->dma_as;
+    uint64_t itt_addr;
+    MemTxResult res = MEMTX_OK;
+
+    itt_addr = (dte >> 6ULL) & ITTADDR_MASK;
+    itt_addr <<= ITTADDR_SHIFT; /* 256 byte aligned */
+
+    address_space_stq_le(as, itt_addr + (eventid * sizeof(uint64_t)),
+                         itel, MEMTXATTRS_UNSPECIFIED, &res);
+
+    if (res == MEMTX_OK) {
+        address_space_stl_le(as, itt_addr + ((eventid + sizeof(uint64_t)) *
+                             sizeof(uint32_t)), iteh, MEMTXATTRS_UNSPECIFIED,
+                             &res);
+    }
+   return res;
+}
+
+static bool get_ite(GICv3ITSState *s, uint32_t eventid, uint64_t dte,
+                      uint16_t *icid, uint32_t *pIntid, MemTxResult *res)
+{
+    AddressSpace *as = &s->gicv3->dma_as;
+    uint64_t itt_addr;
+    bool status = false;
+    uint64_t itel = 0;
+    uint32_t iteh = 0;
+
+    itt_addr = (dte >> 6ULL) & ITTADDR_MASK;
+    itt_addr <<= ITTADDR_SHIFT; /* 256 byte aligned */
+
+    itel = address_space_ldq_le(as, itt_addr + (eventid * sizeof(uint64_t)),
+                                MEMTXATTRS_UNSPECIFIED, res);
+
+    if (*res == MEMTX_OK) {
+        iteh = address_space_ldl_le(as, itt_addr + ((eventid +
+                                    sizeof(uint64_t)) * sizeof(uint32_t)),
+                                    MEMTXATTRS_UNSPECIFIED, res);
+
+        if (*res == MEMTX_OK) {
+            if (itel & VALID_MASK) {
+                if ((itel >> ITE_ENTRY_INTTYPE_SHIFT) & GITS_TYPE_PHYSICAL) {
+                    *pIntid = (itel >> ITE_ENTRY_INTID_SHIFT) &
+                              ITE_ENTRY_INTID_MASK;
+                    *icid = iteh & ITE_ENTRY_ICID_MASK;
+                    status = true;
+                }
+            }
+        }
+    }
+    return status;
+}
+
+static uint64_t get_dte(GICv3ITSState *s, uint32_t devid, MemTxResult *res)
+{
+    AddressSpace *as = &s->gicv3->dma_as;
+    uint64_t l2t_addr;
+    uint64_t value;
+    bool valid_l2t;
+    uint32_t l2t_id;
+    uint32_t max_l2_entries;
+
+    if (s->dt.indirect) {
+        l2t_id = devid / (s->dt.page_sz / L1TABLE_ENTRY_SIZE);
+
+        value = address_space_ldq_le(as,
+                                     s->dt.base_addr +
+                                     (l2t_id * L1TABLE_ENTRY_SIZE),
+                                     MEMTXATTRS_UNSPECIFIED, res);
+
+        if (*res == MEMTX_OK) {
+            valid_l2t = (value >> VALID_SHIFT) & VALID_MASK;
+
+            if (valid_l2t) {
+                max_l2_entries = s->dt.page_sz / s->dt.entry_sz;
+
+                l2t_addr = value & ((1ULL << 51) - 1);
+
+                value = 0;
+                value =  address_space_ldq_le(as, l2t_addr +
+                                   ((devid % max_l2_entries) * GITS_DTE_SIZE),
+                                   MEMTXATTRS_UNSPECIFIED, res);
+            }
+        }
+    } else {
+        /* Flat level table */
+        value = 0;
+        value = address_space_ldq_le(as, s->dt.base_addr +
+                                           (devid * GITS_DTE_SIZE),
+                                    MEMTXATTRS_UNSPECIFIED, res);
+    }
+
+    return value;
+}
+
 static MemTxResult process_sync(GICv3ITSState *s, uint32_t offset)
 {
     AddressSpace *as = &s->gicv3->dma_as;
@@ -55,6 +205,182 @@  static MemTxResult process_sync(GICv3ITSState *s, uint32_t offset)
     return res;
 }
 
+static MemTxResult process_int(GICv3ITSState *s, uint64_t value,
+                                uint32_t offset, ItsCmdType cmd)
+{
+    AddressSpace *as = &s->gicv3->dma_as;
+    uint32_t devid, eventid;
+    MemTxResult res = MEMTX_OK;
+    bool dte_valid;
+    uint64_t dte = 0;
+    uint32_t max_eventid;
+    uint16_t icid = 0;
+    uint32_t pIntid = 0;
+    bool ite_valid = false;
+    uint64_t cte = 0;
+    bool cte_valid = false;
+    uint64_t itel = 0;
+    uint32_t iteh = 0;
+
+    if (cmd == NONE) {
+        devid = offset;
+    } else {
+        devid = (value >> DEVID_SHIFT) & DEVID_MASK;
+
+        offset += NUM_BYTES_IN_DW;
+        value = address_space_ldq_le(as, s->cq.base_addr + offset,
+                                 MEMTXATTRS_UNSPECIFIED, &res);
+    }
+
+    if (res != MEMTX_OK) {
+        return res;
+    }
+
+    eventid = (value & EVENTID_MASK);
+
+    dte = get_dte(s, devid, &res);
+
+    if (res != MEMTX_OK) {
+        return res;
+    }
+    dte_valid = dte & VALID_MASK;
+
+    if (dte_valid) {
+        max_eventid = (1UL << (((dte >> 1U) & SIZE_MASK) + 1));
+
+        ite_valid = get_ite(s, eventid, dte, &icid, &pIntid, &res);
+
+        if (res != MEMTX_OK) {
+            return res;
+        }
+
+        if (ite_valid) {
+            cte_valid = get_cte(s, icid, &cte, &res);
+        }
+
+        if (res != MEMTX_OK) {
+            return res;
+        }
+    }
+
+    if ((devid > s->dt.max_devids) || !dte_valid || !ite_valid ||
+            !cte_valid || (eventid > max_eventid)) {
+        qemu_log_mask(LOG_GUEST_ERROR,
+            "%s: invalid interrupt translation table attributes "
+            "devid %d or eventid %d\n",
+            __func__, devid, eventid);
+        /*
+         * in this implementation,in case of error
+         * we ignore this command and move onto the next
+         * command in the queue
+         */
+    } else {
+        /*
+         * Current implementation only supports rdbase == procnum
+         * Hence rdbase physical address is ignored
+         */
+        if (cmd == DISCARD) {
+            /* remove mapping from interrupt translation table */
+            res = update_ite(s, eventid, dte, itel, iteh);
+        }
+    }
+
+    if (cmd != NONE) {
+        offset += NUM_BYTES_IN_DW;
+        offset += NUM_BYTES_IN_DW;
+    }
+
+    return res;
+}
+
+static MemTxResult process_mapti(GICv3ITSState *s, uint64_t value,
+                                    uint32_t offset, bool ignore_pInt)
+{
+    AddressSpace *as = &s->gicv3->dma_as;
+    uint32_t devid, eventid;
+    uint32_t pIntid = 0;
+    uint32_t max_eventid, max_Intid;
+    bool dte_valid;
+    MemTxResult res = MEMTX_OK;
+    uint16_t icid = 0;
+    uint64_t dte = 0;
+    uint64_t itel = 0;
+    uint32_t iteh = 0;
+    uint32_t int_spurious = INTID_SPURIOUS;
+
+    devid = (value >> DEVID_SHIFT) & DEVID_MASK;
+    offset += NUM_BYTES_IN_DW;
+    value = address_space_ldq_le(as, s->cq.base_addr + offset,
+                                 MEMTXATTRS_UNSPECIFIED, &res);
+
+    if (res != MEMTX_OK) {
+        return res;
+    }
+
+    eventid = (value & EVENTID_MASK);
+
+    if (!ignore_pInt) {
+        pIntid = (value >> pINTID_OFFSET) & pINTID_MASK;
+    }
+
+    offset += NUM_BYTES_IN_DW;
+    value = address_space_ldq_le(as, s->cq.base_addr + offset,
+                                 MEMTXATTRS_UNSPECIFIED, &res);
+
+    if (res != MEMTX_OK) {
+        return res;
+    }
+
+    icid = value & ICID_MASK;
+
+    dte = get_dte(s, devid, &res);
+
+    if (res != MEMTX_OK) {
+        return res;
+    }
+    dte_valid = dte & VALID_MASK;
+
+    max_eventid = (1UL << (((dte >> 1U) & SIZE_MASK) + 1));
+
+    if (!ignore_pInt) {
+        max_Intid = (1UL << (FIELD_EX64(s->typer, GITS_TYPER, IDBITS) + 1));
+    }
+
+    if ((devid > s->dt.max_devids) || (icid > s->ct.max_collids) ||
+            !dte_valid || (eventid > max_eventid) ||
+            (!ignore_pInt && ((pIntid < GICV3_LPI_INTID_START) ||
+               (pIntid > max_Intid)))) {
+        qemu_log_mask(LOG_GUEST_ERROR,
+            "%s: invalid interrupt translation table attributes "
+            "devid %d or icid %d or eventid %d or pIntid %d\n",
+            __func__, devid, icid, eventid, pIntid);
+        /*
+         * in this implementation,in case of error
+         * we ignore this command and move onto the next
+         * command in the queue
+         */
+    } else {
+        /* add ite entry to interrupt translation table */
+        itel = (dte_valid & VALID_MASK) | (GITS_TYPE_PHYSICAL <<
+                                           ITE_ENTRY_INTTYPE_SHIFT);
+
+        if (ignore_pInt) {
+            itel |= (eventid << ITE_ENTRY_INTID_SHIFT);
+        } else {
+            itel |= (pIntid << ITE_ENTRY_INTID_SHIFT);
+        }
+        itel |= (int_spurious << ITE_ENTRY_INTSP_SHIFT);
+        iteh |= icid;
+
+        res = update_ite(s, eventid, dte, itel, iteh);
+    }
+
+    offset += NUM_BYTES_IN_DW;
+    offset += NUM_BYTES_IN_DW;
+
+    return res;
+}
+
 static MemTxResult update_cte(GICv3ITSState *s, uint16_t icid, bool valid,
     uint64_t rdbase)
 {
@@ -217,7 +543,7 @@  static MemTxResult update_dte(GICv3ITSState *s, uint32_t devid, bool valid,
 }
 
 static MemTxResult process_mapd(GICv3ITSState *s, uint64_t value,
-                                 uint32_t offset)
+                                  uint32_t offset)
 {
     AddressSpace *as = &s->gicv3->dma_as;
     uint32_t devid;
@@ -310,8 +636,10 @@  static MemTxResult process_cmdq(GICv3ITSState *s)
 
         switch (cmd) {
         case GITS_CMD_INT:
+            res = process_int(s, data, cq_offset, INT);
             break;
         case GITS_CMD_CLEAR:
+            res = process_int(s, data, cq_offset, CLEAR);
             break;
         case GITS_CMD_SYNC:
             res = process_sync(s, cq_offset);
@@ -323,10 +651,13 @@  static MemTxResult process_cmdq(GICv3ITSState *s)
             res = process_mapc(s, cq_offset);
             break;
         case GITS_CMD_MAPTI:
+            res = process_mapti(s, data, cq_offset, false);
             break;
         case GITS_CMD_MAPI:
+            res = process_mapti(s, data, cq_offset, true);
             break;
         case GITS_CMD_DISCARD:
+            res = process_int(s, data, cq_offset, DISCARD);
             break;
         default:
             break;
@@ -508,7 +839,20 @@  static void extract_cmdq_params(GICv3ITSState *s)
 static MemTxResult gicv3_its_translation_write(void *opaque, hwaddr offset,
                                uint64_t data, unsigned size, MemTxAttrs attrs)
 {
+    GICv3ITSState *s = (GICv3ITSState *)opaque;
     MemTxResult result = MEMTX_OK;
+    uint32_t devid = 0;
+
+    switch (offset) {
+    case GITS_TRANSLATER:
+        if (s->ctlr & ITS_CTLR_ENABLED) {
+            devid = attrs.requester_id;
+            result = process_int(s, data, devid, NONE);
+        }
+        break;
+    default:
+        break;
+    }
 
     return result;
 }
diff --git a/hw/intc/gicv3_internal.h b/hw/intc/gicv3_internal.h
index 3b8e1e85c6..e49370224f 100644
--- a/hw/intc/gicv3_internal.h
+++ b/hw/intc/gicv3_internal.h
@@ -325,6 +325,13 @@  FIELD(GITS_TYPER, CIL, 36, 1)
 #define ITTADDR_MASK              ((1ULL << ITTADDR_LENGTH) - 1)
 #define SIZE_MASK                 0x1f
 
+/* MAPI command fields */
+#define EVENTID_MASK              ((1ULL << 32) - 1)
+
+/* MAPTI command fields */
+#define pINTID_OFFSET              32
+#define pINTID_MASK               ((1ULL << 32) - 1)
+
 #define VALID_SHIFT               63
 #define VALID_MASK                0x1
 
@@ -345,6 +352,11 @@  FIELD(GITS_TYPER, CIL, 36, 1)
  * vPEID = 16 bits
  */
 #define ITS_ITT_ENTRY_SIZE            0xC
+#define ITE_ENTRY_INTTYPE_SHIFT        1
+#define ITE_ENTRY_INTID_SHIFT          2
+#define ITE_ENTRY_INTID_MASK         ((1ULL << 24) - 1)
+#define ITE_ENTRY_INTSP_SHIFT          26
+#define ITE_ENTRY_ICID_MASK          ((1ULL << 16) - 1)
 
 /* 16 bits EventId */
 #define ITS_IDBITS                   GICD_TYPER_IDBITS
diff --git a/include/hw/intc/arm_gicv3_common.h b/include/hw/intc/arm_gicv3_common.h
index 1fd5cedbbd..0715b0bc2a 100644
--- a/include/hw/intc/arm_gicv3_common.h
+++ b/include/hw/intc/arm_gicv3_common.h
@@ -36,6 +36,8 @@ 
 #define GICV3_MAXIRQ 1020
 #define GICV3_MAXSPI (GICV3_MAXIRQ - GIC_INTERNAL)
 
+#define GICV3_LPI_INTID_START 8192
+
 #define GICV3_REDIST_SIZE 0x20000
 
 /* Number of SGI target-list bits */