Searched refs:__vgic_v3_get_gic_config (Results 1 – 4 of 4) sorted by relevance
257 cpu_reg(host_ctxt, 1) = __vgic_v3_get_gic_config(); in handle___vgic_v3_get_gic_config()398 HANDLE_FUNC(__vgic_v3_get_gic_config),
248 extern u64 __vgic_v3_get_gic_config(void);
647 u64 ich_vtr_el2 = kvm_call_hyp_ret(__vgic_v3_get_gic_config); in vgic_v3_probe()
424 u64 __vgic_v3_get_gic_config(void) in __vgic_v3_get_gic_config() function