| char __hyp_panic_string[] = "__hyp_panic_string"; |
| void panic(const char *fmt, ...) {} |
| |
| unsigned long __hyp_stub_vectors; |
| unsigned long idmap_t0sz; |
| unsigned long kimage_voffset; |
| |
| unsigned long __per_cpu_start; |
| unsigned long __per_cpu_end; |
| |
| unsigned long __start_rodata; |
| unsigned long __end_rodata; |
| unsigned long __bss_start; |
| unsigned long __bss_stop; |
| |
| unsigned long __hyp_idmap_text_start; |
| unsigned long __hyp_idmap_text_end; |
| unsigned long __hyp_text_start; |
| unsigned long __hyp_text_end; |
| unsigned long __hyp_bss_start; |
| unsigned long __hyp_bss_end; |
| |
| void arm64_enable_wa2_handling() {} |
| void kvm_patch_vector_branch() {} |
| void kvm_update_va_mask() {} |
| void sve_save_state() {} |
| void sve_load_state() {} |
| |
| // /* Data shared with the kernel. */ |
| unsigned long cpu_hwcaps; |
| unsigned long cpu_hwcap_keys; |
| unsigned long __icache_flags; |
| unsigned long kvm_vgic_global_state; |
| unsigned long __kvm_bp_vect_base; |
| |
| unsigned long arm64_const_caps_ready; |
| unsigned long gic_pmr_sync; |
| unsigned long vgic_v2_cpuif_trap; |
| unsigned long vgic_v3_cpuif_trap; |
