[arch] fix virtual_addr_t undefined

YuzukiHD · Feb 20, 2024 · f039904 · f039904
1 parent 0736250
commit f039904
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/include/arch/arm32/types.h b/include/arch/arm32/types.h
@@ -59,6 +59,8 @@ typedef unsigned long phys_addr_t;
 typedef unsigned long phys_size_t;
 #endif
 
+typedef unsigned long virtual_addr_t;
+
 /*
  * A dma_addr_t can hold any valid DMA address, i.e., any address returned
  * by the DMA API.