Update util.h

752826ee · Adam Blank · 2d9a8c08 · 752826ee
Commit 752826ee authored 4 years ago by Adam Blank
Hide whitespace changes
Inline Side-by-side

Showing

with 3 additions and 1 deletion
+3 -1
--- a/include/util.h
+++ b/include/util.h
@@ -11,7 +11,9 @@ typedef uint8_t page_t[PAGE_SIZE];
 * Forces a memory read of the byte at the given address.
 * This will load the byte at the address into the cache.
 */
-void force_read(const void *address);
+inline void force_read(const void *address) {
+    *(volatile uint8_t *) address;
+}
 /**
 * Evicts any cache line currently storing the given address.