sys/_stdint.h: Officially deprecate vaddr_t at long last

CTSRD-CHERI · Jul 25, 2023 · f7fc4ab · f7fc4ab
1 parent 2d28d4b
commit f7fc4ab
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/sys/sys/_stdint.h b/sys/sys/_stdint.h
@@ -135,6 +135,7 @@ typedef __ptraddr_t ptraddr_t;
 #endif
 
 #ifndef _VADDR_T_DECLARED
+__attribute__((__deprecated__("use ptraddr_t instead")))
 typedef ptraddr_t vaddr_t;
 #define _VADDR_T_DECLARED
 #endif