INIT_EFI_OP
struct xen_platform_op op = INIT_EFI_OP(set_wakeup_time);
struct xen_platform_op op = INIT_EFI_OP(get_variable);
struct xen_platform_op op = INIT_EFI_OP(get_next_variable_name);
struct xen_platform_op op = INIT_EFI_OP(set_variable);
struct xen_platform_op op = INIT_EFI_OP(query_variable_info);
struct xen_platform_op op = INIT_EFI_OP(get_next_high_monotonic_count);
struct xen_platform_op op = INIT_EFI_OP(update_capsule);
struct xen_platform_op op = INIT_EFI_OP(query_capsule_capabilities);
struct xen_platform_op op = INIT_EFI_OP(get_time);
struct xen_platform_op op = INIT_EFI_OP(set_time);
struct xen_platform_op op = INIT_EFI_OP(get_wakeup_time);