xenpf_efi_runtime_call  212 include/xen/interface/platform.h DEFINE_GUEST_HANDLE_STRUCT(xenpf_efi_runtime_call);
xenpf_efi_runtime_call  514 include/xen/interface/platform.h 		struct xenpf_efi_runtime_call  efi_runtime_call;