Searched defs:kvm_vgic_register_its_device (Results 1 – 3 of 3) sorted by relevance
2778 int kvm_vgic_register_its_device(void) in kvm_vgic_register_its_device() function