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; |