tree db2cb76b49eb3049dec5c1c602220875a1e23787
parent b974f3f88682fc47219fe08c308ddc1a07722f4e
author David 'Digit' Turner <digit@google.com> 1395309586 +0100
committer David 'Digit' Turner <digit@google.com> 1397065401 +0200

target-i386: Move cpu_has_work to cpu.h

+ Remove obsolete cpu_halted() function.

Change-Id: I9d723919b085137c77fd57b9571f7257bb41f159