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.
This commit is contained in:
Alex Richardson
2025-01-06 16:05:09 -08:00
committed by Travis Geiselbrecht
parent 22ae6b6cea
commit d673d211eb

View File

@@ -9,6 +9,7 @@
#include <lk/compiler.h>
#include <stdbool.h>
#include <stdint.h>
#include <stdlib.h>
__BEGIN_CDECLS