>>> On 26.06.13 at 16:06, Ben Guthro wrote:
> --- a/arch/x86/kernel/tboot.c
> +++ b/arch/x86/kernel/tboot.c
> @@ -273,7 +273,8 @@ static void tboot_copy_fadt(const struct acpi_table_fadt
> *fadt)
> offsetof(struct acpi_table_facs, firmware_waking_vector);
> }
>
> -static int tboo
>>> On 26.06.13 at 16:55, Ben Guthro wrote:
> On Wed, Jun 26, 2013 at 10:44 AM, Jan Beulich wrote:
> On 26.06.13 at 16:06, Ben Guthro wrote:
>>> --- a/arch/x86/kernel/tboot.c
>>> +++ b/arch/x86/kernel/tboot.c
>>> @@ -273,7 +273,8 @@ static void tboot_copy_fadt(const struct
>>> acpi_table_fa