[coreboot-gerrit] Patch merged into coreboot/master: 83fc32f device_ops: add device_t argument to write_acpi_tables

[gerrit at coreboot.org]

the following patch was just integrated into master:
commit 83fc32f7a7d27c4133fda5baf25d9c1b32cf8a24
Author: Alexander Couzens <lynxis at fe80.eu>
Date:   Sun Apr 12 22:28:37 2015 +0200

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


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

-gerrit