HomeFreeBSD

gic_v3: Use 64-bit writes to GICD_IROUTERn

Description

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

Details

Provenance
cyprien_cypou.netAuthored on Nov 26 2020, 1:17 AM
andrewCommitted on Jan 25 2021, 10:07 AM
Parents
rG8c5bef2eb24c: contrib/tzdata: import tzdata 2021a
Branches
Unknown
Tags
Unknown