[PATCH 0/3] Minor ARM EFI updates

[Frediano Ziglio <frediano.ziglio@xxxxxxxxx>]

Reuse some functions, fix some indentation.

Frediano Ziglio (3):
  xen/efi: Reuse fdt_setprop_u32 and fdt_setprop_u64
  xen/efi: Fix indentation
  xen/efi: Do not pass dummy pointer for empty property

 xen/arch/arm/efi/efi-boot.h | 51 +++++++++++++++----------------------
 1 file changed, 20 insertions(+), 31 deletions(-)

-- 
2.43.0