}\r
DEBUG ((DEBUG_DISPATCH, " RESULT = %a\n", IsPpiInstalled (PeiServices, StackPtr) ? "TRUE" : "FALSE"));\r
return IsPpiInstalled (PeiServices, StackPtr);\r
- break;\r
\r
case (EFI_DEP_NOT): \r
DEBUG ((DEBUG_DISPATCH, " NOT\n"));\r
// BUGBUG: need to be supported as soon as image tool is designed.\r
//\r
return EFI_UNSUPPORTED;\r
- break;\r
\r
case EFI_HII_IIBT_IMAGE_1BIT_TRANS:\r
case EFI_HII_IIBT_IMAGE_4BIT_TRANS:\r
}\r
\r
return EFI_SUCCESS;\r
- break;\r
\r
case EFI_HII_IIBT_IMAGE_24BIT_TRANS:\r
Flag = TRUE;\r
(EFI_HII_RGB_PIXEL *) (ImageBlock + sizeof (EFI_HII_IIBT_IMAGE_24BIT_BLOCK) - sizeof (EFI_HII_RGB_PIXEL))\r
);\r
return EFI_SUCCESS;\r
- break;\r
\r
default:\r
return EFI_NOT_FOUND;\r
- break;\r
}\r
}\r
\r
// BUGBUG: need to be supported as soon as image tool is designed.\r
//\r
return EFI_UNSUPPORTED;\r
- break;\r
\r
case EFI_HII_IIBT_IMAGE_1BIT:\r
case EFI_HII_IIBT_IMAGE_1BIT_TRANS:\r
break;\r
default:\r
return EFI_NOT_FOUND;\r
- break;\r
}\r
\r
//\r
\r
return Tcp4AttachPcb (Sock);\r
\r
- break;\r
-\r
case SOCK_FLUSH:\r
\r
Tcp4FlushPcb (Tcb);\r
(EFI_TCP4_CONFIG_DATA *) Data\r
);\r
\r
- break;\r
-\r
case SOCK_MODE:\r
\r
ASSERT ((Data != NULL) && (Tcb != NULL));\r
\r
return Tcp4GetMode (Tcb, (TCP4_MODE_DATA *) Data);\r
\r
- break;\r
-\r
case SOCK_ROUTE:\r
\r
ASSERT ((Data != NULL) && (Tcb != NULL));\r