[coreboot-gerrit] Patch merged into coreboot/master: a90dad1 device_ops: add device_t argument to acpi_inject_dsdt_generator

[gerrit at coreboot.org]

the following patch was just integrated into master:
commit a90dad1bf08d528407b4a6aee031b5b859c60487
Author: Alexander Couzens <lynxis at fe80.eu>
Date:   Sun Apr 12 21:49:46 2015 +0200

    device_ops: add device_t argument to acpi_inject_dsdt_generator
    
    `device_t device` is missing as argument. Every device_op function
    should have a `device_t device` argument.
    
    Change-Id: I3fc8e0339fa46fe92cc39f7afa896ffd38c26c8d
    Signed-off-by: Alexander Couzens <lynxis at fe80.eu>
    Reviewed-on: http://review.coreboot.org/9597
    Tested-by: build bot (Jenkins)
    Reviewed-by: Stefan Reinauer <stefan.reinauer at coreboot.org>


See http://review.coreboot.org/9597 for details.

-gerrit