tree fdc7bd0b2ef864a8fa14ac19e395acfea22ecb1b
parent 308a963c573811088b341df8d53138e9c3382a2d
author David 'Digit' Turner <digit@google.com> 1397551033 +0200
committer David 'Digit' Turner <digit@google.com> 1405690166 +0200

arm_pic_init_cpu: Take CPUState parameter

Change-Id: I67dab5fa7a82cd02aa6194f109ad0ce5759f741e