Searched refs:__vgic_v3_get_gic_config (Results 1 – 6 of 6) sorted by relevance
82 cpu_reg(host_ctxt, 1) = __vgic_v3_get_gic_config(); in handle___vgic_v3_get_gic_config()183 HANDLE_FUNC(__vgic_v3_get_gic_config),
215 extern u64 __vgic_v3_get_gic_config(void);
621 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
1754 ffff80001006f924 T __vgic_v3_get_gic_config
Completed in 339 milliseconds