Lines Matching full:xen
11 #include <xen/xen.h>
12 #include <xen/xen-ops.h>
13 #include <xen/interface/platform.h>
17 #include <asm/xen/hypercall.h>
19 #include "xen-ops.h"
33 .con_in_handle = EFI_INVALID_TABLE_ADDR, /* Not used under Xen. */
34 .con_in = NULL, /* Not used under Xen. */
35 .con_out_handle = EFI_INVALID_TABLE_ADDR, /* Not used under Xen. */
36 .con_out = NULL, /* Not used under Xen. */
37 .stderr_handle = EFI_INVALID_TABLE_ADDR, /* Not used under Xen. */
38 .stderr = EFI_INVALID_TABLE_ADDR, /* Not used under Xen. */
40 /* Not used under Xen. */
42 /* Not used under Xen. */
61 /* Here we know that Xen runs on EFI platform. */ in xen_efi_probe()
141 strscpy((char *)&boot_params->efi_info.efi_loader_signature, "Xen", in xen_efi_init()