From 12577f3445df86023ba0cbe2462d55ea5dcafe20 Mon Sep 17 00:00:00 2001 From: Alejandro Sior Date: Fri, 17 Jun 2022 14:43:27 +0200 Subject: gptman: now can allocate partitions --- gpt/range.ha | 12 ++++++++++++ 1 file changed, 12 insertions(+) create mode 100644 gpt/range.ha (limited to 'gpt/range.ha') diff --git a/gpt/range.ha b/gpt/range.ha new file mode 100644 index 0000000..783e40d --- /dev/null +++ b/gpt/range.ha @@ -0,0 +1,12 @@ +fn rangehas(a: (u64, u64), b: (u64, u64)) bool = { + if (b.0 + b.1 <= a.0) + return false; + if (b.0 >= a.0 + a.1) + return false; + + return true; +}; + +fn overlap(a: (u64, u64), b: (u64, u64)) bool = { + return rangehas(a, b) || rangehas(b, a); +}; -- cgit v1.2.3