diff --git a/include/vki/vki-amd64-freebsd.h b/include/vki/vki-amd64-freebsd.h index 55409dbeb..374e7eeb5 100644 --- a/include/vki/vki-amd64-freebsd.h +++ b/include/vki/vki-amd64-freebsd.h @@ -4,6 +4,8 @@ Copyright (C) 2000-2005 Julian Seward jseward@acm.org + Copyright (C) 2018-2021 Paul Floyd + pjfloyd@wanadoo.fr This program is free software; you can redistribute it and/or modify it under the terms of the GNU General Public License as diff --git a/include/vki/vki-freebsd.h b/include/vki/vki-freebsd.h index eaea7d74c..a9ff6fb9d 100644 --- a/include/vki/vki-freebsd.h +++ b/include/vki/vki-freebsd.h @@ -9,6 +9,8 @@ Copyright (C) 2000-2005 Julian Seward jseward@acm.org + Copyright (C) 2018-2021 Paul Floyd + pjfloyd@wanadoo.fr This program is free software; you can redistribute it and/or modify it under the terms of the GNU General Public License as diff --git a/include/vki/vki-machine-types-amd64-freebsd.h b/include/vki/vki-machine-types-amd64-freebsd.h index db408de70..2963f4d86 100644 --- a/include/vki/vki-machine-types-amd64-freebsd.h +++ b/include/vki/vki-machine-types-amd64-freebsd.h @@ -1,7 +1,7 @@ /*--------------------------------------------------------------------*/ -/*--- x86/FreeBSD-specific kernel interface: posix types. ---*/ -/*--- vki_posixtypes-x86-freebsd.h ---*/ +/*--- x86/FreeBSD-specific kernel interface: posix types. ---*/ +/*--- vki_posixtypes-x86-freebsd.h ---*/ /*--------------------------------------------------------------------*/ /* @@ -10,6 +10,8 @@ Copyright (C) 2000-2005 Julian Seward jseward@acm.org + Copyright (C) 2018-2021 Paul Floyd + pjfloyd@wanadoo.fr This program is free software; you can redistribute it and/or modify it under the terms of the GNU General Public License as diff --git a/include/vki/vki-machine-types-x86-freebsd.h b/include/vki/vki-machine-types-x86-freebsd.h index 4906be721..70f0a2b3f 100644 --- a/include/vki/vki-machine-types-x86-freebsd.h +++ b/include/vki/vki-machine-types-x86-freebsd.h @@ -1,7 +1,7 @@ /*--------------------------------------------------------------------*/ -/*--- x86/FreeBSD-specific kernel interface: posix types. ---*/ -/*--- vki_posixtypes-x86-freebsd.h ---*/ +/*--- x86/FreeBSD-specific kernel interface: posix types. ---*/ +/*--- vki_posixtypes-x86-freebsd.h ---*/ /*--------------------------------------------------------------------*/ /* @@ -10,6 +10,8 @@ Copyright (C) 2000-2005 Julian Seward jseward@acm.org + Copyright (C) 2018-2021 Paul Floyd + pjfloyd@wanadoo.fr This program is free software; you can redistribute it and/or modify it under the terms of the GNU General Public License as diff --git a/include/vki/vki-scnums-freebsd.h b/include/vki/vki-scnums-freebsd.h index cac88ba8c..3ea7d460e 100644 --- a/include/vki/vki-scnums-freebsd.h +++ b/include/vki/vki-scnums-freebsd.h @@ -5,6 +5,8 @@ Copyright (C) 2000-2005 Julian Seward jseward@acm.org + Copyright (C) 2018-2021 Paul Floyd + pjfloyd@wanadoo.fr This program is free software; you can redistribute it and/or modify it under the terms of the GNU General Public License as diff --git a/include/vki/vki-x86-freebsd.h b/include/vki/vki-x86-freebsd.h index 13cc279cf..638cea6bc 100644 --- a/include/vki/vki-x86-freebsd.h +++ b/include/vki/vki-x86-freebsd.h @@ -7,9 +7,12 @@ This file is part of Valgrind, a dynamic binary instrumentation framework. - Copyright (C) 2009 Stanislav Sedov Copyright (C) 2000-2005 Julian Seward jseward@acm.org + Copyright (C) 2009 Stanislav Sedov + + Copyright (C) 2018-2021 Paul Floyd + pjfloyd@wanadoo.fr This program is free software; you can redistribute it and/or modify it under the terms of the GNU General Public License as