gic_v3: Use 64-bit writes to GICD_IROUTERn
While 32-bit accesses to GICD_IROUTERn are allowed,
this is a 64-bit register.
Pull Request: https://github.com/freebsd/freebsd-src/pull/451
gic_v3: Use 64-bit writes to GICD_IROUTERn Tags None Referenced Files None Subscribers None
Description
Details
|