On 05.09.2024 15:06, Andrew Cooper wrote:
> kbd_shift_flags seems especially dubious.  It's a snapshot of the keyboard
> state when Xen happened to pass through the trampoline, and surely cannot be
> useful for dom0 in the slightest...

No more or less than if the kernel takes such a snapshot while booting natively.
Whatever this is used for there (it's been too long - I don't recall).

> --- a/xen/arch/x86/efi/efi-boot.h
> +++ b/xen/arch/x86/efi/efi-boot.h
> @@ -102,9 +102,6 @@ static void __init efi_arch_relocate_image(unsigned long 
> delta)
>      }
>  }
>  
> -extern const s32 __trampoline_rel_start[], __trampoline_rel_stop[];
> -extern const s32 __trampoline_seg_start[], __trampoline_seg_stop[];

I'd prefer if these stayed here, leaving the 4 symbols as minimally exposed as
possible. Recall that efi-boot.h isn't really a header in that sense, but
rather a .c file. Elsewhere we keep decls in .c files when they're used in just
one CU.

Jan

Reply via email to