GIC spec之ITS和LPI中断5

3 ITS命令

        Table 5-6提供了所有ITS命令的集合。

命令

命令参数

描述

CLEAR

DeviceID, EventID

将EventID和DeviceID定义的event转化为ICID和pINTID,并发送到合适的Redistributor移除pending状态

DISCARD

DeviceID, EventID

将EventID和DeviceID定义的event转化为ICID和pINTID,并发送到合适的Redistributor移除pending状态。它也保证与特定的EventID相关的Redistributor的任何缓存与内存中配置保持一致。DISCARD移除了ITT中DeviceID和EventID的映射,保证特定EventID的请求被丢弃。

INT

DeviceID, EventID

将EventID和DeviceID定义的event转化为ICID和pINTID,并发送到合适的Redistributor设置pending状态

INV

DeviceID, EventID

指定ITS必须保证与特定EventID相关的Redistributor的任何缓存与内存中LPI配置表保持一致

INVALL

ICID

指定ITS必须保证由ICID定义的中断collection的任何缓存与所有Redistributor内存中LPI配置表保持一致

INVDB

仅GICv4.1

vPEID

仅GICv4.1。指定ITS必须保证vPEID的默认doorbell相关的任何缓存与所有Redistributor内存中LPI配置表保持一致

MAPC

ICID, RDbase

将ICID定义的collection表映射到RDbase定义的Redistributor

MAPD

DeviceID,ITT_addr,Size

将DeviceID相关的设备表项映射到由ITT_addr和Size定义的ITT

MAPI

DeviceID,EventID, ICID

将EventID和DeviceID定义的event映射到ICID和pINTID=EventID的ITT项

MAPTI

DeviceID,EventID, pINTID, ICID

将EventID和DeviceID定义的event映射到它相关的ITE,ITE由DeviceID相关的ITT中ICID和pINTID定义

MOVALL

RDbase1, RDbase2

让RDbase1指定的Redistributor上所有的中断移到RDbase2指定的Redistributor上

MOVI

DeviceID,EventID, ICID

更新DeviceID和EventID定义的event的ITT表项的ICID域。它也将DeviceID和EventID定义的event转化为ICID和pINTID,并在合适的Redistributor移除pending状态,如果它被设置,将中断移到新的ICID定义的Redistributor,并使用新的ICID更新event相关的ITE

SYNC

RDbase

保证RDbase指定的Redistributor的物理中断相关的所有未完成ITS操作在执行任何更多ITS命令之前全局可见。跟随SYNC的执行,所有之前命令必须应用于后续写入GITS_TRANSLATE。

VINVALL

vPEID

保证与vPEID相关的任何缓存的Redistributor信息与内存中相关的LPI配置表保持一致

VMAPI

DeviceID, EventID,Dbell_pINTID,

vPEID

将由DeviceID和EventID定义的event映射到ITT表项,该表项vPEID, vINTID=EventID, Dbell_pINTID,一个doorbell

VMAPP

GICv4.0

vPEID,RDbase,VPT_addr,

VPT_size

将vPEID定义的vPE表项映射到目标RDbase,包括相关的虚拟LPI pending表(VPT_addr, VPT_size)

VMAPP

GICv4.1

vPEID,RDbase, VCONF_addr,VPT_addr,

VPT_size, PTZ, Alloc,

Default_Doorbell_pINTID

映射vPEID定义的vPE,包括相关的虚拟LPI配置和pending表。可选的指定默认doorbell。

VMAPTI

DeviceID, EventID, vINTID, Dbell_pINTID,vPEID

使用vPEID,vINTID,Dbell_pINTID和doorbell将DeviceID和EventID定义的event映射到ITT表项

VMOVI

DeviceID, EventID, vPEID

为DeviceID和EventID定义的event更新ITT表项的vPEID域。将DeviceID和EventID定义的event转化为vPEID和pINTID,让合适的Redistributor移除pending状态,如果有设置,将中断发送到新vPEID定义的Redistributor,使用新的vPEID更新event相关的ITE

VMOVP

GICv4.0

vPEID, RDbase, SequenceNumber, ITSList

更新vPEID定义的vPE表项到由RDbase定义的目标Redistributor。软件必须使用SequenceNumber和ITSList在超过一个ITS的情况下同步VMOVP命令的执行

VMOVP

GICv4.1

vPEID, RDbase, SequenceNumber, ITSList, Default_Doorbell_pINTID

将vPEID定义的vPE映射更新到RDbase定义的目标Redistributor

VSGI

仅GICv4.1

vPEID, Priority, G, C, E, vPEID

仅GICv4.1。对于vPEID定义的vPE,设置配置或更新由vINTID定义的中断状态

VSYNC

vPEID

保证在任何更多ITS命令被执行之前所有未完成的ITS操作被全局可见。VSYNC接下来的执行,所有之前的命令必须应用到后续写GITS_TRANSLATER。

        实现支持的EventID和DeviceID的位数由GITS_TYPER.Unimplemented位发现。

NOTE:

(1)LPI的INTID的范围为8192-最大数目。最大数目是由实现定义的。

(2)以下参数名从GIC spec最初使用的信息进行修改:

- Device被修改为DeviceID;

- ID被修改为EventID;

- pID被修改为pINTID;

- vID被修改为vINTID;

- pCID被修改为ICID;

- 目标地址被修改为RDbase;

- vCPU被修改为vPE

(3)collection目标地址,RDbase的格式由GITS_TYPER.PTA指定。

3.1 在ITS命令参数中实现定义的大小

        一些ITS命令包括下列参数类型是由实现定义的大小。

DeviceID: 相关设备表支持的最大数目的DeviceID由GITS_TYPER.Devbits指定的位数决定。

EventID: 它由最大MAPD大小域决定,由GITS_TYPER.ID_bits限制。

ICID:支持的collection的数目由实现定义。

(1)在外部内存不支持collection表的实现中,GITS_TYPER.HCC指定collection的数目;

(2)在外部内存支持collection表的实现中,支持的collection的数目由分配collection表的大小决定:

- 支持的collection数目可通过如下计算:

GITS_TYPER.HCC + collection表大小/Entry大小

当GITS_TYPER.CIL=1时,collection的最大数目由GITS_TYPER.CIDbits。

pINTID: pINTID由GICR_PROPBASER.IDbits指定,它由GICD_TYPER.IDbits。这也应用于Dbell_pINTID。

RDbase: RDbase与Redistributor相关并被指定由两种格式中的一个:

(1)当GITS_TYPER.PTA=1时RDbase的基本物理地址;

(2)当GITS_TYPER.PTA=0时由GICR_TYPER.Processor_Number指定的PE数目。

vINTID: 它由GICR_VPROPBASER.IDbits限制,这也由GICD_TYPER.IDbits决定。

vPEID:由vPE表的大小决定。

3.2 命令错误

        如果ITS在提供给命令的数据中检测到错误时,由此产生的行为是无法预测的选择,如下:

(1)忽略命令

- 不会有其他行为修改中断的处理;

- GITS_CREADR增加指向下一个命令,如果有必要会wrap;

- 如果GITS_TYPER.SEIS被设置为1时,产生系统错误;

NOTE: 由实现决定系统错误是如何被记录和如何报告给PE。

(2)Stall ITS命令队列

- GITS_CREADR不会增加,并继续指向触发错误的条目;

- GITS_CREADR.Stalled被设置为1;

- 通过对GITS_CWRITER.Retry写1软件可以重新处理命令;

- 如果GITS_TYPER.SEIS被设置为1时,产生系统错误。

NOTE: 由实现决定系统错误是如何被记录和如何报告给PE。

(3)将数据当作有效数据

- 产生错误的数据被当作合法的值,并且该命令被处理;

- GITS_CREADR增加并指向下一个命令,如果必要会wrap;

- 如果GITS_TYPER.SEIS被设置为1,产生系统错误。

NOTE: 由实现决定系统错误是如何被记录和如何报告给PE。

3.3 CLEAR

        命令将EventID和DeviceID定义的event转化为ICID和pINTID,并在合适的Redistributor上移除pending状态。

        图5-6显示了CLEAR命令的格式。

GIC spec之ITS和LPI中断5_第1张图片

在上图中:

  1. EventID指明了与设备相关的中断,它的pending状态被清除;
  2. DeviceID指定了请求的设备;
  3. DW为32byte双字偏移,或4个双字。

命令和它的参数如下:

CLEAR DeviceID, EventID

如果下列任一发生,命令错误产生:

  1. DeviceID超过ITS支持的最大值;
  2. DeviceID指定的设备没有通过MAPD映射到中断转换表ITT;
  3. EventID超过ITT允许的最大值。当MAPD命令发出时该值由Size域指定。
  4. 设备的EventID没有映射到一个collection,通过MAPI或MAPTI。
  5. 设备的EventID被映射到一个collection,但它没有使用MAPC映射到RDbase。

在这种情况下,ITS必须采用前面描述的行为。

下列伪代码描述了CLEAR命令的操作:

ITS.CLEAR(ITSCommand cmd)
    if DeviceOutOfRange(cmd.DeviceID) then
    UNPREDICTABLE;

    dte = ReadDeviceTable(UInt(cmd.DeviceID))

    if !dte.Valid then
        if GITS_TYPER.SEIS == '1' then IMPLEMENTATION_DEFINED "SError CLEAR_UNMAPPED_DEVICE";
        UNPREDICTABLE;

    if IdOutOfRange(cmd.EventID,dte.ITT_size) then
        if GITS_TYPER.SEIS == '1' then IMPLEMENTATION_DEFINED "SError CLEAR_ID_OOR";
        UNPREDICTABLE;

    InterruptTableEntry ite = ReadTranslationTable(dte.ITT_base, UInt(cmd.EventID));

    if !ite.Valid then
        if GITS_TYPER.SEIS == '1' then IMPLEMENTATION_DEFINED "SError CLEAR_UNMAPPED_INTERRUPT";
        UNPREDICTABLE;

    success = ClearPendingState(ite);

    if !success then
        if GITS_TYPER.SEIS == '1' then IMPLEMENTATION_DEFINED "SError CLEAR_ITE_INVALID";
        UNPREDICTABLE;

    IncrementReadPointer();
    return;

你可能感兴趣的:(GICv3,spec,ITS,command)