diff options
| -rw-r--r-- | lib/sbi/sbi_domain.c | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/lib/sbi/sbi_domain.c b/lib/sbi/sbi_domain.c index 99f453f9..96d10c76 100644 --- a/lib/sbi/sbi_domain.c +++ b/lib/sbi/sbi_domain.c @@ -235,7 +235,11 @@ bool sbi_domain_check_addr(const struct sbi_domain *dom, rstart + ((1UL << reg->order) - 1) : -1UL; if (rstart <= addr && addr <= rend) { rmmio = (rflags & SBI_DOMAIN_MEMREGION_MMIO) ? true : false; - if (mmio != rmmio) + /* + * MMIO devices may appear in regions without the flag set (such as the + * default region), but MMIO device regions should not be used as memory. + */ + if (!mmio && rmmio) return false; return ((rrwx & rwx) == rwx) ? true : false; } |