END_DEVICE_PATH_LENGTH
DevicePath = (EFI_DEVICE_PATH_PROTOCOL *)AllocatePool (END_DEVICE_PATH_LENGTH);
DeviceNode = (EFI_DEVICE_PATH_PROTOCOL *)AllocatePool (END_DEVICE_PATH_LENGTH);
if ((DevicePath == NULL) || ((MaxSize > 0) && (MaxSize < END_DEVICE_PATH_LENGTH))) {
if (Size > MaxSize - END_DEVICE_PATH_LENGTH ) {
return (BOOLEAN)(DevicePathNodeLength (DevicePath) == END_DEVICE_PATH_LENGTH);
Size = Size1 + Size2 - END_DEVICE_PATH_LENGTH;
(Size1 - END_DEVICE_PATH_LENGTH));
TempDevicePath = AllocatePool (NodeLength + END_DEVICE_PATH_LENGTH);
END_DEVICE_PATH_LENGTH,
FileDevicePath = AllocatePool (Size + SIZE_OF_FILEPATH_DEVICE_PATH + END_DEVICE_PATH_LENGTH);