|
@@ -82,6 +82,10 @@ extern void verify_cpu_run_el(void);
|
|
|
static inline void verify_cpu_run_el(void) {}
|
|
|
#endif
|
|
|
|
|
|
+/* The section containing the hypervisor idmap text */
|
|
|
+extern char __hyp_idmap_text_start[];
|
|
|
+extern char __hyp_idmap_text_end[];
|
|
|
+
|
|
|
/* The section containing the hypervisor text */
|
|
|
extern char __hyp_text_start[];
|
|
|
extern char __hyp_text_end[];
|