1c1
< # Copyright (c) 2007 The Hewlett-Packard Development Company
---
> # Copyright (c) 2007-2008 The Hewlett-Packard Development Company
60,61c60
< # This should really read the whole flags register, not just user flags.
< ruflags t1
---
> rflags t1
70,71c69
< # This should really write the whole flags register, not just user flags.
< wruflags t1, t0
---
> wrflags t1, t0