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

(cherry picked from commit 46ca0b903cad8955574a2c61bed41c2b92aa2273)

Details

Provenance
cyprien_cypou.netAuthored on Nov 26 2020, 1:17 AM
emasteCommitted on Feb 17 2021, 12:07 AM
Parents
rGcc11afa865f0: release: fix overriding UNAME_r
Branches
Unknown
Tags
Unknown