diff --git a/sys/arm/arm/gic.c b/sys/arm/arm/gic.c
index bd34e92b9e2..d7edd788540 100644
--- a/sys/arm/arm/gic.c
+++ b/sys/arm/arm/gic.c
@@ -538,8 +538,6 @@ arm_gic_write_ivar(device_t dev, device_t child, int which, uintptr_t value)
 	case GIC_IVAR_MBI_COUNT:
 		MPASS(sc->sc_spi_start != 0);
 		MPASS(sc->sc_spi_count == 0);
-		MPASS(value >= sc->sc_spi_start);
-		MPASS(value >= GIC_FIRST_SPI);
 
 		sc->sc_spi_count = value;
 		sc->sc_spi_end = sc->sc_spi_start + sc->sc_spi_count;
diff --git a/sys/arm64/arm64/gic_v3.c b/sys/arm64/arm64/gic_v3.c
index a53d0b27272..23e1b3632fb 100644
--- a/sys/arm64/arm64/gic_v3.c
+++ b/sys/arm64/arm64/gic_v3.c
@@ -506,8 +506,6 @@ gic_v3_write_ivar(device_t dev, device_t child, int which, uintptr_t value)
 	case GIC_IVAR_MBI_COUNT:
 		MPASS(sc->gic_mbi_start != 0);
 		MPASS(sc->gic_mbi_end == 0);
-		MPASS(value >= sc->gic_mbi_start);
-		MPASS(value >= GIC_FIRST_SPI);
 
 		sc->gic_mbi_end = value - sc->gic_mbi_start;