INIT_EFI_OP        45 drivers/xen/efi.c 	struct xen_platform_op op = INIT_EFI_OP(get_time);
INIT_EFI_OP        67 drivers/xen/efi.c 	struct xen_platform_op op = INIT_EFI_OP(set_time);
INIT_EFI_OP        82 drivers/xen/efi.c 	struct xen_platform_op op = INIT_EFI_OP(get_wakeup_time);
INIT_EFI_OP       103 drivers/xen/efi.c 	struct xen_platform_op op = INIT_EFI_OP(set_wakeup_time);
INIT_EFI_OP       123 drivers/xen/efi.c 	struct xen_platform_op op = INIT_EFI_OP(get_variable);
INIT_EFI_OP       146 drivers/xen/efi.c 	struct xen_platform_op op = INIT_EFI_OP(get_next_variable_name);
INIT_EFI_OP       169 drivers/xen/efi.c 	struct xen_platform_op op = INIT_EFI_OP(set_variable);
INIT_EFI_OP       189 drivers/xen/efi.c 	struct xen_platform_op op = INIT_EFI_OP(query_variable_info);
INIT_EFI_OP       208 drivers/xen/efi.c 	struct xen_platform_op op = INIT_EFI_OP(get_next_high_monotonic_count);
INIT_EFI_OP       221 drivers/xen/efi.c 	struct xen_platform_op op = INIT_EFI_OP(update_capsule);
INIT_EFI_OP       240 drivers/xen/efi.c 	struct xen_platform_op op = INIT_EFI_OP(query_capsule_capabilities);