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

/linux-4.1.27/arch/arm64/kvm/
H A 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/
H A Dkvm_asm.h136 extern char __restore_vgic_v2_state[];
H A Dkvm_host.h232 __vgic_sr_vectors.restore_vgic = __restore_vgic_v2_state; vgic_arch_setup()

Completed in 130 milliseconds