kernel/driver: clean up the ps2/serial drivers

1 files changed, 6 insertions, 0 deletions

diff --git a/src/kernel/util.h b/src/kernel/util.h
index 0e57d67..59af755 100644
--- a/src/kernel/util.h
+++ b/src/kernel/util.h
@@ -19,3 +19,9 @@
 static inline int32_t capped_cast32(uint32_t u) {
 	return (int32_t)min(u, (uint32_t)INT32_MAX);
 }
+
+static inline int clamp(int lo, int i, int hi) {
+	if (i < lo) return lo;
+	if (i > hi) return hi;
+	return i;
+}