Symbol: access_gic_dir