KekenoBSD/src
3
0
Fork 0
Code Issues Pull Requests Actions 1 Packages Projects Releases Wiki Activity

Use the new PAGE_SIZE_4K in the GICv3 driver

Browse Source 
Stop assuming PAGE_SIZE is 4k in the GICv3 ITS driver. We could use
a 16k or 64k page in the future.

Sponsored by:	Innovate UK
This commit is contained in:
Andrew Turner
2020-12-23 09:49:53 +00:00
parent 3413a8cd81
commit 42f71007d5
1 changed files with 2 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files
sys/arm64/arm64/gicv3_its.c
+2 -2
View File
@@ -513,7 +513,7 @@ gicv3_its_table_init(device_t dev, struct gicv3_its_softc *sc)
(nitspages - 1);
switch (page_size) {
case PAGE_SIZE: /* 4KB */
case PAGE_SIZE_4K: /* 4KB */
reg |=
GITS_BASER_PSZ_4K << GITS_BASER_PSZ_SHIFT;
break;
@@ -544,7 +544,7 @@ gicv3_its_table_init(device_t dev, struct gicv3_its_softc *sc)
(reg & GITS_BASER_PSZ_MASK)) {
switch (page_size) {
case PAGE_SIZE_16K:
page_size = PAGE_SIZE;
page_size = PAGE_SIZE_4K;
continue;
case PAGE_SIZE_64K:
page_size = PAGE_SIZE_16K;