Address a violation of MISRA C:2012 Rule 5.5:
"Identifiers shall be distinct from macro names".
Reports for service MC3A2.R5.5:
xen/include/xen/fdt-domain-build.h: non-compliant parameter 'copy_to_guest'
xen/include/xen/guest_access.h: non-compliant macro 'copy_to_guest'
Rename 'copy_to_guest' function parameter to 'cb' for compliance.
No functional changes.
Signed-off-by: Dmytro Prokopchuk <dmytro_prokopchuk1@epam.com>
---
xen/common/device-tree/domain-build.c | 9 ++++-----
xen/include/xen/fdt-domain-build.h | 4 ++--
2 files changed, 6 insertions(+), 7 deletions(-)
diff --git a/xen/common/device-tree/domain-build.c b/xen/common/device-tree/domain-build.c
index cd01a8b4bc..2b009547d0 100644
--- a/xen/common/device-tree/domain-build.c
+++ b/xen/common/device-tree/domain-build.c
@@ -331,7 +331,7 @@ void __init allocate_memory(struct domain *d, struct kernel_info *kinfo)
}
void __init dtb_load(struct kernel_info *kinfo,
- copy_to_guest_phys_cb copy_to_guest)
+ copy_to_guest_phys_cb cb)
{
unsigned long left;
@@ -339,7 +339,7 @@ void __init dtb_load(struct kernel_info *kinfo,
kinfo->d, kinfo->dtb_paddr,
kinfo->dtb_paddr + fdt_totalsize(kinfo->fdt));
- left = copy_to_guest(kinfo->d, kinfo->dtb_paddr,
+ left = cb(kinfo->d, kinfo->dtb_paddr,
kinfo->fdt,
fdt_totalsize(kinfo->fdt));
@@ -350,7 +350,7 @@ void __init dtb_load(struct kernel_info *kinfo,
}
void __init initrd_load(struct kernel_info *kinfo,
- copy_to_guest_phys_cb copy_to_guest)
+ copy_to_guest_phys_cb cb)
{
const struct boot_module *mod = kinfo->initrd;
paddr_t load_addr = kinfo->initrd_paddr;
@@ -393,8 +393,7 @@ void __init initrd_load(struct kernel_info *kinfo,
if ( !initrd )
panic("Unable to map the %pd initrd\n", kinfo->d);
- res = copy_to_guest(kinfo->d, load_addr,
- initrd, len);
+ res = cb(kinfo->d, load_addr, initrd, len);
if ( res != 0 )
panic("Unable to copy the initrd in the %pd memory\n", kinfo->d);
diff --git a/xen/include/xen/fdt-domain-build.h b/xen/include/xen/fdt-domain-build.h
index 45981dbec0..3a20623cf5 100644
--- a/xen/include/xen/fdt-domain-build.h
+++ b/xen/include/xen/fdt-domain-build.h
@@ -50,10 +50,10 @@ typedef unsigned long (*copy_to_guest_phys_cb)(struct domain *d,
unsigned int len);
void initrd_load(struct kernel_info *kinfo,
- copy_to_guest_phys_cb copy_to_guest);
+ copy_to_guest_phys_cb cb);
void dtb_load(struct kernel_info *kinfo,
- copy_to_guest_phys_cb copy_to_guest);
+ copy_to_guest_phys_cb cb);
int find_unallocated_memory(const struct kernel_info *kinfo,
const struct membanks *mem_banks[],
--
2.43.0
On Fri, 4 Jul 2025, Dmytro Prokopchuk1 wrote:
> Address a violation of MISRA C:2012 Rule 5.5:
> "Identifiers shall be distinct from macro names".
>
> Reports for service MC3A2.R5.5:
> xen/include/xen/fdt-domain-build.h: non-compliant parameter 'copy_to_guest'
> xen/include/xen/guest_access.h: non-compliant macro 'copy_to_guest'
>
> Rename 'copy_to_guest' function parameter to 'cb' for compliance.
> No functional changes.
>
> Signed-off-by: Dmytro Prokopchuk <dmytro_prokopchuk1@epam.com>
Nice!
> ---
> xen/common/device-tree/domain-build.c | 9 ++++-----
> xen/include/xen/fdt-domain-build.h | 4 ++--
> 2 files changed, 6 insertions(+), 7 deletions(-)
>
> diff --git a/xen/common/device-tree/domain-build.c b/xen/common/device-tree/domain-build.c
> index cd01a8b4bc..2b009547d0 100644
> --- a/xen/common/device-tree/domain-build.c
> +++ b/xen/common/device-tree/domain-build.c
> @@ -331,7 +331,7 @@ void __init allocate_memory(struct domain *d, struct kernel_info *kinfo)
> }
>
> void __init dtb_load(struct kernel_info *kinfo,
> - copy_to_guest_phys_cb copy_to_guest)
> + copy_to_guest_phys_cb cb)
> {
> unsigned long left;
>
> @@ -339,7 +339,7 @@ void __init dtb_load(struct kernel_info *kinfo,
> kinfo->d, kinfo->dtb_paddr,
> kinfo->dtb_paddr + fdt_totalsize(kinfo->fdt));
>
> - left = copy_to_guest(kinfo->d, kinfo->dtb_paddr,
> + left = cb(kinfo->d, kinfo->dtb_paddr,
> kinfo->fdt,
> fdt_totalsize(kinfo->fdt));
NIT: code style, alignment
Reviewed-by: Stefano Stabellini <sstabellini@kernel.org>
>
> @@ -350,7 +350,7 @@ void __init dtb_load(struct kernel_info *kinfo,
> }
>
> void __init initrd_load(struct kernel_info *kinfo,
> - copy_to_guest_phys_cb copy_to_guest)
> + copy_to_guest_phys_cb cb)
> {
> const struct boot_module *mod = kinfo->initrd;
> paddr_t load_addr = kinfo->initrd_paddr;
> @@ -393,8 +393,7 @@ void __init initrd_load(struct kernel_info *kinfo,
> if ( !initrd )
> panic("Unable to map the %pd initrd\n", kinfo->d);
>
> - res = copy_to_guest(kinfo->d, load_addr,
> - initrd, len);
> + res = cb(kinfo->d, load_addr, initrd, len);
> if ( res != 0 )
> panic("Unable to copy the initrd in the %pd memory\n", kinfo->d);
>
> diff --git a/xen/include/xen/fdt-domain-build.h b/xen/include/xen/fdt-domain-build.h
> index 45981dbec0..3a20623cf5 100644
> --- a/xen/include/xen/fdt-domain-build.h
> +++ b/xen/include/xen/fdt-domain-build.h
> @@ -50,10 +50,10 @@ typedef unsigned long (*copy_to_guest_phys_cb)(struct domain *d,
> unsigned int len);
>
> void initrd_load(struct kernel_info *kinfo,
> - copy_to_guest_phys_cb copy_to_guest);
> + copy_to_guest_phys_cb cb);
>
> void dtb_load(struct kernel_info *kinfo,
> - copy_to_guest_phys_cb copy_to_guest);
> + copy_to_guest_phys_cb cb);
>
> int find_unallocated_memory(const struct kernel_info *kinfo,
> const struct membanks *mem_banks[],
> --
> 2.43.0
>
© 2016 - 2025 Red Hat, Inc.