AArch64 EL2 hypervisor for QEMU virt that boots at EL2
Introduce freestanding address interval primitives for loader validation
author
vm.fail
date
(Mar 24, 2026, 9:18 AM UTC)
commit
cf678a42
cf678a4255e527493c731a63350846b3f9f5ac76
parent
eabe8fa2
eabe8fa2a4d97e72a093c54c81887c42b5657a4a
vm.fail
date
(Mar 24, 2026, 9:18 AM UTC)
commit
cf678a42
cf678a4255e527493c731a63350846b3f9f5ac76
parent
eabe8fa2
eabe8fa2a4d97e72a093c54c81887c42b5657a4a
+30
+30
include/hv/interval.h
+30
include/hv/interval.h
···
1
+
#ifndef HV_INTERVAL_H
2
+
#define HV_INTERVAL_H
3
+
4
+
#include "hv/types.h"
5
+
6
+
struct hv_interval {
7
+
uint64_t base;
8
+
uint64_t size;
9
+
};
10
+
11
+
static inline bool hv_interval_end(struct hv_interval interval, uint64_t *out)
12
+
{
13
+
if (interval.size == 0u || out == (uint64_t *)0) {
14
+
return false;
15
+
}
16
+
return !hv_add_overflow_u64(interval.base, interval.size, out);
17
+
}
18
+
19
+
static inline bool hv_interval_contains(struct hv_interval outer, struct hv_interval inner)
20
+
{
21
+
uint64_t outer_end;
22
+
uint64_t inner_end;
23
+
24
+
if (!hv_interval_end(outer, &outer_end) || !hv_interval_end(inner, &inner_end)) {
25
+
return false;
26
+
}
27
+
return inner.base >= outer.base && inner_end <= outer_end;
28
+
}
29
+
30
+
#endif