extern void setup_memory_map(void);
extern char *default_machine_specific_memory_setup(void);
+/*
+ * Returns true iff the specified range [s,e) is completely contained inside
+ * the ISA region.
+ */
static inline bool is_ISA_range(u64 s, u64 e)
{
- return s >= ISA_START_ADDRESS && e < ISA_END_ADDRESS;
+ return s >= ISA_START_ADDRESS && e <= ISA_END_ADDRESS;
}
#endif /* __KERNEL__ */