Paul Menzel (paulepanter@users.sourceforge.net) just uploaded a new patch set to gerrit, which you can find at http://review.coreboot.org/5952
-gerrit
commit debb289159ac37770ad510392a7435012caf5a8b Author: Paul Menzel paulepanter@users.sourceforge.net Date: Sat Jun 7 13:31:29 2014 +0200
device/device_util.c: Fix wording in comment of `new_resource()`
Change-Id: Ieb0d5de37870a359f3a7ea1543640e26f86c1684 Signed-off-by: Paul Menzel paulepanter@users.sourceforge.net --- src/device/device_util.c | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/src/device/device_util.c b/src/device/device_util.c index 2bed4a9..4526c48 100644 --- a/src/device/device_util.c +++ b/src/device/device_util.c @@ -462,7 +462,7 @@ struct resource *probe_resource(device_t dev, unsigned index) * See if a resource structure already exists for a given index and if not * allocate one. * - * Then initialize the initialize the resource to default values. + * Then initialize the resource to default values. * * @param dev The device to find the resource on. * @param index The index of the resource on the device.