Searched refs:__vgic_v3_get_gic_config (Results 1 – 4 of 4) sorted by relevance
178 cpu_reg(host_ctxt, 1) = __vgic_v3_get_gic_config(); in handle___vgic_v3_get_gic_config()329 HANDLE_FUNC(__vgic_v3_get_gic_config),
243 extern u64 __vgic_v3_get_gic_config(void);
634 u64 ich_vtr_el2 = kvm_call_hyp_ret(__vgic_v3_get_gic_config); in vgic_v3_probe()
414 u64 __vgic_v3_get_gic_config(void) in __vgic_v3_get_gic_config() function