if a driver can be scheduled for execution. The criteria for\r
schedulability is that the dependency expression is satisfied.\r
\r
-Copyright (c) 2006 - 2008, Intel Corporation. <BR>\r
-All rights reserved. This program and the accompanying materials\r
-are licensed and made available under the terms and conditions of the BSD License\r
-which accompanies this distribution. The full text of the license may be found at\r
-http://opensource.org/licenses/bsd-license.php\r
-\r
-THE PROGRAM IS DISTRIBUTED UNDER THE BSD LICENSE ON AN "AS IS" BASIS,\r
-WITHOUT WARRANTIES OR REPRESENTATIONS OF ANY KIND, EITHER EXPRESS OR IMPLIED.\r
+Copyright (c) 2006 - 2018, Intel Corporation. All rights reserved.<BR>\r
+SPDX-License-Identifier: BSD-2-Clause-Patent\r
\r
**/\r
\r
//\r
// Global stack used to evaluate dependency expressions\r
//\r
-BOOLEAN *mDepexEvaluationStack = NULL;\r
-BOOLEAN *mDepexEvaluationStackEnd = NULL;\r
-BOOLEAN *mDepexEvaluationStackPointer = NULL;\r
+BOOLEAN *mDepexEvaluationStack = NULL;\r
+BOOLEAN *mDepexEvaluationStackEnd = NULL;\r
+BOOLEAN *mDepexEvaluationStackPointer = NULL;\r
\r
//\r
// Worker functions\r
//\r
\r
-\r
/**\r
Grow size of the Depex stack\r
\r
VOID\r
)\r
{\r
- BOOLEAN *NewStack;\r
- UINTN Size;\r
+ BOOLEAN *NewStack;\r
+ UINTN Size;\r
\r
Size = DEPEX_STACK_SIZE_INCREMENT;\r
if (mDepexEvaluationStack != NULL) {\r
return EFI_SUCCESS;\r
}\r
\r
-\r
-\r
/**\r
Push an element onto the Boolean Stack.\r
\r
return EFI_SUCCESS;\r
}\r
\r
-\r
-\r
/**\r
Pop an element from the Boolean stack.\r
\r
return EFI_SUCCESS;\r
}\r
\r
-\r
-\r
/**\r
Preprocess dependency expression and update DriverEntry to reflect the\r
state of Before, After, and SOR dependencies. If DriverEntry->Before\r
**/\r
EFI_STATUS\r
CorePreProcessDepex (\r
- IN EFI_CORE_DRIVER_ENTRY *DriverEntry\r
+ IN EFI_CORE_DRIVER_ENTRY *DriverEntry\r
)\r
{\r
UINT8 *Iterator;\r
return EFI_SUCCESS;\r
}\r
\r
-\r
-\r
/**\r
This is the POSTFIX version of the dependency evaluator. This code does\r
not need to handle Before or After, as it is not valid to call this\r
**/\r
BOOLEAN\r
CoreIsSchedulable (\r
- IN EFI_CORE_DRIVER_ENTRY *DriverEntry\r
+ IN EFI_CORE_DRIVER_ENTRY *DriverEntry\r
)\r
{\r
EFI_STATUS Status;\r
EFI_GUID DriverGuid;\r
VOID *Interface;\r
\r
- Operator = FALSE;\r
+ Operator = FALSE;\r
Operator2 = FALSE;\r
\r
if (DriverEntry->After || DriverEntry->Before) {\r
return FALSE;\r
}\r
\r
+ DEBUG ((DEBUG_DISPATCH, "Evaluate DXE DEPEX for FFS(%g)\n", &DriverEntry->FileName));\r
+\r
if (DriverEntry->Depex == NULL) {\r
//\r
// A NULL Depex means treat the driver like an UEFI 2.0 thing.\r
//\r
Status = CoreAllEfiServicesAvailable ();\r
+ DEBUG ((DEBUG_DISPATCH, " All UEFI Services Available = "));\r
if (EFI_ERROR (Status)) {\r
+ DEBUG ((DEBUG_DISPATCH, "FALSE\n RESULT = FALSE\n"));\r
return FALSE;\r
}\r
+\r
+ DEBUG ((DEBUG_DISPATCH, "TRUE\n RESULT = TRUE\n"));\r
return TRUE;\r
}\r
\r
//\r
mDepexEvaluationStackPointer = mDepexEvaluationStack;\r
\r
-\r
Iterator = DriverEntry->Depex;\r
\r
while (TRUE) {\r
// past the end of the dependency expression.\r
//\r
if (((UINTN)Iterator - (UINTN)DriverEntry->Depex) >= DriverEntry->DepexSize) {\r
+ DEBUG ((DEBUG_DISPATCH, " RESULT = FALSE (Attempt to fetch past end of depex)\n"));\r
return FALSE;\r
}\r
\r
// Look at the opcode of the dependency expression instruction.\r
//\r
switch (*Iterator) {\r
- case EFI_DEP_BEFORE:\r
- case EFI_DEP_AFTER:\r
- //\r
- // For a well-formed Dependency Expression, the code should never get here.\r
- // The BEFORE and AFTER are processed prior to this routine's invocation.\r
- // If the code flow arrives at this point, there was a BEFORE or AFTER\r
- // that were not the first opcodes.\r
- //\r
- ASSERT (FALSE);\r
- case EFI_DEP_SOR:\r
- //\r
- // These opcodes can only appear once as the first opcode. If it is found\r
- // at any other location, then the dependency expression evaluates to FALSE\r
- //\r
- if (Iterator != DriverEntry->Depex) {\r
- return FALSE;\r
- }\r
- //\r
- // Otherwise, it is the first opcode and should be treated as a NOP.\r
- //\r
- break;\r
-\r
- case EFI_DEP_PUSH:\r
- //\r
- // Push operator is followed by a GUID. Test to see if the GUID protocol\r
- // is installed and push the boolean result on the stack.\r
- //\r
- CopyMem (&DriverGuid, Iterator + 1, sizeof (EFI_GUID));\r
-\r
- Status = CoreLocateProtocol (&DriverGuid, NULL, &Interface);\r
-\r
- if (EFI_ERROR (Status)) {\r
+ case EFI_DEP_BEFORE:\r
+ case EFI_DEP_AFTER:\r
+ //\r
+ // For a well-formed Dependency Expression, the code should never get here.\r
+ // The BEFORE and AFTER are processed prior to this routine's invocation.\r
+ // If the code flow arrives at this point, there was a BEFORE or AFTER\r
+ // that were not the first opcodes.\r
+ //\r
+ DEBUG ((DEBUG_DISPATCH, " RESULT = FALSE (Unexpected BEFORE or AFTER opcode)\n"));\r
+ ASSERT (FALSE);\r
+ case EFI_DEP_SOR:\r
+ //\r
+ // These opcodes can only appear once as the first opcode. If it is found\r
+ // at any other location, then the dependency expression evaluates to FALSE\r
+ //\r
+ if (Iterator != DriverEntry->Depex) {\r
+ DEBUG ((DEBUG_DISPATCH, " SOR\n"));\r
+ DEBUG ((DEBUG_DISPATCH, " RESULT = FALSE (Unexpected SOR opcode)\n"));\r
+ return FALSE;\r
+ }\r
+\r
+ DEBUG ((DEBUG_DISPATCH, " SOR = Requested\n"));\r
+ //\r
+ // Otherwise, it is the first opcode and should be treated as a NOP.\r
+ //\r
+ break;\r
+\r
+ case EFI_DEP_PUSH:\r
+ //\r
+ // Push operator is followed by a GUID. Test to see if the GUID protocol\r
+ // is installed and push the boolean result on the stack.\r
+ //\r
+ CopyMem (&DriverGuid, Iterator + 1, sizeof (EFI_GUID));\r
+\r
+ Status = CoreLocateProtocol (&DriverGuid, NULL, &Interface);\r
+\r
+ if (EFI_ERROR (Status)) {\r
+ DEBUG ((DEBUG_DISPATCH, " PUSH GUID(%g) = FALSE\n", &DriverGuid));\r
+ Status = PushBool (FALSE);\r
+ } else {\r
+ DEBUG ((DEBUG_DISPATCH, " PUSH GUID(%g) = TRUE\n", &DriverGuid));\r
+ *Iterator = EFI_DEP_REPLACE_TRUE;\r
+ Status = PushBool (TRUE);\r
+ }\r
+\r
+ if (EFI_ERROR (Status)) {\r
+ DEBUG ((DEBUG_DISPATCH, " RESULT = FALSE (Unexpected error)\n"));\r
+ return FALSE;\r
+ }\r
+\r
+ Iterator += sizeof (EFI_GUID);\r
+ break;\r
+\r
+ case EFI_DEP_AND:\r
+ DEBUG ((DEBUG_DISPATCH, " AND\n"));\r
+ Status = PopBool (&Operator);\r
+ if (EFI_ERROR (Status)) {\r
+ DEBUG ((DEBUG_DISPATCH, " RESULT = FALSE (Unexpected error)\n"));\r
+ return FALSE;\r
+ }\r
+\r
+ Status = PopBool (&Operator2);\r
+ if (EFI_ERROR (Status)) {\r
+ DEBUG ((DEBUG_DISPATCH, " RESULT = FALSE (Unexpected error)\n"));\r
+ return FALSE;\r
+ }\r
+\r
+ Status = PushBool ((BOOLEAN)(Operator && Operator2));\r
+ if (EFI_ERROR (Status)) {\r
+ DEBUG ((DEBUG_DISPATCH, " RESULT = FALSE (Unexpected error)\n"));\r
+ return FALSE;\r
+ }\r
+\r
+ break;\r
+\r
+ case EFI_DEP_OR:\r
+ DEBUG ((DEBUG_DISPATCH, " OR\n"));\r
+ Status = PopBool (&Operator);\r
+ if (EFI_ERROR (Status)) {\r
+ DEBUG ((DEBUG_DISPATCH, " RESULT = FALSE (Unexpected error)\n"));\r
+ return FALSE;\r
+ }\r
+\r
+ Status = PopBool (&Operator2);\r
+ if (EFI_ERROR (Status)) {\r
+ DEBUG ((DEBUG_DISPATCH, " RESULT = FALSE (Unexpected error)\n"));\r
+ return FALSE;\r
+ }\r
+\r
+ Status = PushBool ((BOOLEAN)(Operator || Operator2));\r
+ if (EFI_ERROR (Status)) {\r
+ DEBUG ((DEBUG_DISPATCH, " RESULT = FALSE (Unexpected error)\n"));\r
+ return FALSE;\r
+ }\r
+\r
+ break;\r
+\r
+ case EFI_DEP_NOT:\r
+ DEBUG ((DEBUG_DISPATCH, " NOT\n"));\r
+ Status = PopBool (&Operator);\r
+ if (EFI_ERROR (Status)) {\r
+ DEBUG ((DEBUG_DISPATCH, " RESULT = FALSE (Unexpected error)\n"));\r
+ return FALSE;\r
+ }\r
+\r
+ Status = PushBool ((BOOLEAN)(!Operator));\r
+ if (EFI_ERROR (Status)) {\r
+ DEBUG ((DEBUG_DISPATCH, " RESULT = FALSE (Unexpected error)\n"));\r
+ return FALSE;\r
+ }\r
+\r
+ break;\r
+\r
+ case EFI_DEP_TRUE:\r
+ DEBUG ((DEBUG_DISPATCH, " TRUE\n"));\r
+ Status = PushBool (TRUE);\r
+ if (EFI_ERROR (Status)) {\r
+ DEBUG ((DEBUG_DISPATCH, " RESULT = FALSE (Unexpected error)\n"));\r
+ return FALSE;\r
+ }\r
+\r
+ break;\r
+\r
+ case EFI_DEP_FALSE:\r
+ DEBUG ((DEBUG_DISPATCH, " FALSE\n"));\r
Status = PushBool (FALSE);\r
- } else {\r
- *Iterator = EFI_DEP_REPLACE_TRUE;\r
+ if (EFI_ERROR (Status)) {\r
+ DEBUG ((DEBUG_DISPATCH, " RESULT = FALSE (Unexpected error)\n"));\r
+ return FALSE;\r
+ }\r
+\r
+ break;\r
+\r
+ case EFI_DEP_END:\r
+ DEBUG ((DEBUG_DISPATCH, " END\n"));\r
+ Status = PopBool (&Operator);\r
+ if (EFI_ERROR (Status)) {\r
+ DEBUG ((DEBUG_DISPATCH, " RESULT = FALSE (Unexpected error)\n"));\r
+ return FALSE;\r
+ }\r
+\r
+ DEBUG ((DEBUG_DISPATCH, " RESULT = %a\n", Operator ? "TRUE" : "FALSE"));\r
+ return Operator;\r
+\r
+ case EFI_DEP_REPLACE_TRUE:\r
+ CopyMem (&DriverGuid, Iterator + 1, sizeof (EFI_GUID));\r
+ DEBUG ((DEBUG_DISPATCH, " PUSH GUID(%g) = TRUE\n", &DriverGuid));\r
+\r
Status = PushBool (TRUE);\r
- }\r
- if (EFI_ERROR (Status)) {\r
- return FALSE;\r
- }\r
-\r
- Iterator += sizeof (EFI_GUID);\r
- break;\r
-\r
- case EFI_DEP_AND:\r
- Status = PopBool (&Operator);\r
- if (EFI_ERROR (Status)) {\r
- return FALSE;\r
- }\r
-\r
- Status = PopBool (&Operator2);\r
- if (EFI_ERROR (Status)) {\r
- return FALSE;\r
- }\r
-\r
- Status = PushBool ((BOOLEAN)(Operator && Operator2));\r
- if (EFI_ERROR (Status)) {\r
- return FALSE;\r
- }\r
- break;\r
-\r
- case EFI_DEP_OR:\r
- Status = PopBool (&Operator);\r
- if (EFI_ERROR (Status)) {\r
- return FALSE;\r
- }\r
-\r
- Status = PopBool (&Operator2);\r
- if (EFI_ERROR (Status)) {\r
- return FALSE;\r
- }\r
-\r
- Status = PushBool ((BOOLEAN)(Operator || Operator2));\r
- if (EFI_ERROR (Status)) {\r
- return FALSE;\r
- }\r
- break;\r
-\r
- case EFI_DEP_NOT:\r
- Status = PopBool (&Operator);\r
- if (EFI_ERROR (Status)) {\r
- return FALSE;\r
- }\r
-\r
- Status = PushBool ((BOOLEAN)(!Operator));\r
- if (EFI_ERROR (Status)) {\r
- return FALSE;\r
- }\r
- break;\r
-\r
- case EFI_DEP_TRUE:\r
- Status = PushBool (TRUE);\r
- if (EFI_ERROR (Status)) {\r
- return FALSE;\r
- }\r
- break;\r
-\r
- case EFI_DEP_FALSE:\r
- Status = PushBool (FALSE);\r
- if (EFI_ERROR (Status)) {\r
- return FALSE;\r
- }\r
- break;\r
-\r
- case EFI_DEP_END:\r
- Status = PopBool (&Operator);\r
- if (EFI_ERROR (Status)) {\r
- return FALSE;\r
- }\r
- return Operator;\r
-\r
- case EFI_DEP_REPLACE_TRUE:\r
- Status = PushBool (TRUE);\r
- if (EFI_ERROR (Status)) {\r
- return FALSE;\r
- }\r
-\r
- Iterator += sizeof (EFI_GUID);\r
- break;\r
-\r
- default:\r
- goto Done;\r
+ if (EFI_ERROR (Status)) {\r
+ DEBUG ((DEBUG_DISPATCH, " RESULT = FALSE (Unexpected error)\n"));\r
+ return FALSE;\r
+ }\r
+\r
+ Iterator += sizeof (EFI_GUID);\r
+ break;\r
+\r
+ default:\r
+ DEBUG ((DEBUG_DISPATCH, " RESULT = FALSE (Unknown opcode)\n"));\r
+ goto Done;\r
}\r
\r
//\r
Done:\r
return FALSE;\r
}\r
-\r
-\r