fast model配置gic600

fastmodel中使用pvbus配置gic600相关寄存器,打开modeldebugger后发现对应gic600的地址空间全是无效状态,这是什么原因呢?