test_kvm_device
ret = test_kvm_device(KVM_DEV_TYPE_ARM_VGIC_V3);
ret = test_kvm_device(KVM_DEV_TYPE_ARM_VGIC_V2);