HomeFreeBSD

A64 thermal sensor IRQ is GIC_SPI 31, not 41.

Description

A64 thermal sensor IRQ is GIC_SPI 31, not 41.

Details

Committed
jmcneillSep 4 2016, 10:30 PM
Parents
rS305398: Replace the number 4 in pmap_ts_referenced() by PMAP_TS_REFERENCED_MAX,
Branches
Unknown
Tags
Unknown