kvm_supports_vgic_v3
TEST_REQUIRE(kvm_supports_vgic_v3());
TEST_REQUIRE(kvm_supports_vgic_v3());
TEST_REQUIRE(kvm_supports_vgic_v3());
TEST_REQUIRE(kvm_supports_vgic_v3());
TEST_REQUIRE(kvm_supports_vgic_v3());
bool kvm_supports_vgic_v3(void);
if (request_vgic && kvm_supports_vgic_v3()) {
return request_vgic && kvm_supports_vgic_v3();