Symbol: vm_vgic_descr