From d673d211ebdf5ad8e9a9e0c52c37ab9477f7754d Mon Sep 17 00:00:00 2001
From: Alex Richardson <alexrichardson@google.com>
Date: Mon, 6 Jan 2025 16:05:09 -0800
Subject: [PATCH] riscv: add missing stdint.h include

While this is currently pulled in transitively, uint32_t is defined there
and we should explicitly include the appropriate header.
---
 arch/riscv/include/arch/riscv/feature.h | 1 +
 1 file changed, 1 insertion(+)

diff --git a/arch/riscv/include/arch/riscv/feature.h b/arch/riscv/include/arch/riscv/feature.h
index 8cf08660..ff2d2c5c 100644
--- a/arch/riscv/include/arch/riscv/feature.h
+++ b/arch/riscv/include/arch/riscv/feature.h
@@ -9,6 +9,7 @@
 
 #include <lk/compiler.h>
 #include <stdbool.h>
+#include <stdint.h>
 #include <stdlib.h>
 
 __BEGIN_CDECLS