sys/_stdint.h: Simplify vaddr_t typedef by using ptraddr_t

These should be entirely the same for all supported architectures, so make the former more obviously an alias for the latter.
CTSRD-CHERI · Jul 25, 2023 · 2d28d4b · 2d28d4b
1 parent 7806058
commit 2d28d4b
Showing 1 changed file with 1 addition and 5 deletions.
diff --git a/sys/sys/_stdint.h b/sys/sys/_stdint.h
@@ -135,11 +135,7 @@ typedef __ptraddr_t ptraddr_t;
 #endif
 
 #ifndef _VADDR_T_DECLARED
-#ifndef __CHERI_PURE_CAPABILITY__
-typedef __uintptr_t vaddr_t;
-#else
-typedef __uint64_t vaddr_t;
-#endif
+typedef ptraddr_t vaddr_t;
 #define _VADDR_T_DECLARED
 #endif