Cut TLBI broadcasts with FEAT_TLBIRANGE

Makefile

@@ -131,6 +131,16 @@ $(BUILD_DIR)/test-multi-vcpu: $(BUILD_DIR)/test-multi-vcpu.o | $(BUILD_DIR)
 $(BUILD_DIR)/test-rwx: $(BUILD_DIR)/test-rwx.o | $(BUILD_DIR)
 	$(call link-and-sign,$@,$<)
 
+## Build the TLBI RVAE1IS operand encoder unit test (native macOS binary).
+# Pure C; no HVF entitlement needed. Verifies the architectural bit-layout
+# of tlbi_rvae1is_operand so a future regression that drops TG=01 (which
+# the Apple Silicon integration tests would silently tolerate) fails CI
+# immediately.
+$(BUILD_DIR)/test-tlbi-encoder-host: $(BUILD_DIR)/test-tlbi-encoder-host.o \
+		| $(BUILD_DIR)
+	@echo "  LD      $@"
+	$(Q)$(CC) $(CFLAGS) -o $@ $^
+
 ## Build the proctitle argv-tail regression test (native macOS binary)
 # Links against the project-built proctitle.o so the exact in-tree code is
 # exercised; no HVF entitlement is needed because the test only manipulates
@@ -167,6 +177,12 @@ $(BUILD_DIR)/test-shim-cred-race: tests/test-shim-cred-race.c | $(BUILD_DIR)
 	@echo "  CROSS   $< (with -lpthread)"
 	$(Q)$(CROSS_COMPILE)gcc -D_GNU_SOURCE -static -O2 -o $@ $< -lpthread
 
+# test-mprotect-mt stresses multi-vCPU mprotect under concurrent reader
+# threads to surface stale-TLB regressions.
+$(BUILD_DIR)/test-mprotect-mt: tests/test-mprotect-mt.c | $(BUILD_DIR)
+	@echo "  CROSS   $< (with -lpthread)"
+	$(Q)$(CROSS_COMPILE)gcc -D_GNU_SOURCE -static -O2 -o $@ $< -lpthread
+
 # test-shim-urandom-smp spawns N pthreads racing on a shared FD_URANDOM
 # slot to exercise the shim's LDXR/STXR head-advance under contention.
 $(BUILD_DIR)/test-shim-urandom-smp: tests/test-shim-urandom-smp.c | $(BUILD_DIR)

mk/config.mk

@@ -15,7 +15,8 @@ ifeq ($(origin GUEST_TEST_BINARIES), undefined)
 endif
 
 # Exclude native macOS test files from cross-compilation
-NATIVE_TESTS := tests/test-multi-vcpu.c tests/test-rwx.c
+NATIVE_TESTS := tests/test-multi-vcpu.c tests/test-rwx.c \
+                tests/test-tlbi-encoder-host.c
 SPECIAL_TEST_SRCS := tests/test-lowbase-mem.c
 SPECIAL_TEST_BINS := $(BUILD_DIR)/test-lowbase-mem-200000 $(BUILD_DIR)/test-lowbase-mem-300000
 

mk/tests.mk

@@ -35,8 +35,11 @@ define RUN_OPTIONAL_SKIP77
 endef
 
 ## Run the unit test suite plus busybox applet validation
-check: $(ELFUSE_BIN) $(TEST_DEPS) check-syscall-coverage
+check: $(ELFUSE_BIN) $(TEST_DEPS) check-syscall-coverage \
+		$(BUILD_DIR)/test-tlbi-encoder-host
 	@bash tests/driver.sh -e $(ELFUSE_BIN) -d $(TEST_DIR) -v
+	@printf "\n$(BLUE)━━━ TLBI RVAE1IS encoder unit test ━━━$(RESET)\n"
+	@$(BUILD_DIR)/test-tlbi-encoder-host
 	@printf "\n$(BLUE)━━━ proctitle argv-tail regression ━━━$(RESET)\n"
 	@$(MAKE) --no-print-directory test-proctitle-host
 	@printf "\n$(BLUE)━━━ proctitle low-stack regression ━━━$(RESET)\n"