|
@@ -133,9 +133,13 @@ extern void e820_reserve_resources_late(void);
|
|
extern void setup_memory_map(void);
|
|
extern void setup_memory_map(void);
|
|
extern char *default_machine_specific_memory_setup(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)
|
|
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__ */
|
|
#endif /* __KERNEL__ */
|