| Index: src/trusted/validator/x86/testing/enuminsts/ragel_tester.c
|
| ===================================================================
|
| --- src/trusted/validator/x86/testing/enuminsts/ragel_tester.c (revision 11037)
|
| +++ src/trusted/validator/x86/testing/enuminsts/ragel_tester.c (working copy)
|
| @@ -78,7 +78,7 @@
|
| CPUID_UNSUPPORTED_INSTRUCTION |
|
| FORBIDDEN_BASE_REGISTER |
|
| UNRESTRICTED_INDEX_REGISTER |
|
| - R15_MODIFIED | BPL_MODIFIED | SPL_MODIFIED |
|
| + R15_MODIFIED | BP_MODIFIED | SP_MODIFIED |
|
| UNRESTRICTED_RBP_PROCESSED | UNRESTRICTED_RSP_PROCESSED |
|
| RESTRICTED_RSP_UNPROCESSED | RESTRICTED_RBP_UNPROCESSED)) {
|
| return FALSE;
|
|
|