On Wed, Jan 26, 2022 at 12:22:41PM -0700, Shuah Khan wrote:
On 1/26/22 7:52 AM, Mark Brown wrote:
- ret = vgic_v3_setup(vm, nr_vcpus, 64, GICD_BASE_GPA, GICR_BASE_GPA);
- if (ret < 0) {
print_skip("Failed to create vgic-v3");
Printing the negative error code returned by vgic_v3_setup will be useful.
If the function fails for any reason other than the system not supporting vgic-v3 it will abort rather than return.