| Index: src/trusted/validator/driver/ncval.cc
|
| ===================================================================
|
| --- src/trusted/validator/driver/ncval.cc (revision 11037)
|
| +++ src/trusted/validator/driver/ncval.cc (working copy)
|
| @@ -159,13 +159,13 @@
|
| errors.push_back(Error(offset, "error - %r15 is changed"));
|
| }
|
|
|
| - if (validation_info & BPL_MODIFIED) {
|
| - validation_info &= ~BPL_MODIFIED;
|
| + if (validation_info & BP_MODIFIED) {
|
| + validation_info &= ~BP_MODIFIED;
|
| errors.push_back(Error(offset, "error - %bpl or %bp is changed"));
|
| }
|
|
|
| - if (validation_info & SPL_MODIFIED) {
|
| - validation_info &= ~SPL_MODIFIED;
|
| + if (validation_info & SP_MODIFIED) {
|
| + validation_info &= ~SP_MODIFIED;
|
| errors.push_back(Error(offset, "error - %spl or %sp is changed"));
|
| }
|
|
|
|
|