Files
Atmosphere/thermosphere/src/hvisor_virtual_gic.cpp