created | 2019-10-19T02:38:17Z |
---|---|
begin | 2019-08-02T09:00:00Z |
end | 2019-08-02T12:00:00Z |
path | src/sys |
commits | 1 |
date | 2019-08-02T10:04:59Z | |||
---|---|---|---|---|
author | kettenis | |||
files | src/sys/arch/arm64/dev/agintc.c | log | diff | annotate |
message |
Add support for additional ITS page sizes and make sure we allocate enough memory for the device table to cover the entire DeviceID space. ok patrick@ |