It would be nice to update @return for AllocateReservedMemoryBelow4G() to indicate NULL should be expected if an internal memory allocation fails. Other than that: Reviewed-by: Michael Kubacki