Home
last modified time | relevance | path

Searched refs:__restore_vgic_v2_state (Results 1 – 3 of 3) sorted by relevance

/linux-4.1.27/arch/arm64/kvm/
Dvgic-v2-switch.S100 ENTRY(__restore_vgic_v2_state)
101 __restore_vgic_v2_state: label
135 ENDPROC(__restore_vgic_v2_state)
/linux-4.1.27/arch/arm64/include/asm/
Dkvm_asm.h136 extern char __restore_vgic_v2_state[];
Dkvm_host.h232 __vgic_sr_vectors.restore_vgic = __restore_vgic_v2_state; in vgic_arch_setup()