Linux Audio

Check our new training course

Loading...
v5.9
  1// SPDX-License-Identifier: GPL-2.0-only
  2/*
  3 * EFI support for Xen.
  4 *
  5 * Copyright (C) 1999 VA Linux Systems
  6 * Copyright (C) 1999 Walt Drummond <drummond@valinux.com>
  7 * Copyright (C) 1999-2002 Hewlett-Packard Co.
  8 *	David Mosberger-Tang <davidm@hpl.hp.com>
  9 *	Stephane Eranian <eranian@hpl.hp.com>
 10 * Copyright (C) 2005-2008 Intel Co.
 11 *	Fenghua Yu <fenghua.yu@intel.com>
 12 *	Bibo Mao <bibo.mao@intel.com>
 13 *	Chandramouli Narayanan <mouli@linux.intel.com>
 14 *	Huang Ying <ying.huang@intel.com>
 15 * Copyright (C) 2011 Novell Co.
 16 *	Jan Beulich <JBeulich@suse.com>
 17 * Copyright (C) 2011-2012 Oracle Co.
 18 *	Liang Tang <liang.tang@oracle.com>
 19 * Copyright (c) 2014 Oracle Co., Daniel Kiper
 20 */
 21
 22#include <linux/bug.h>
 23#include <linux/efi.h>
 24#include <linux/init.h>
 25#include <linux/string.h>
 26
 27#include <xen/interface/xen.h>
 28#include <xen/interface/platform.h>
 29#include <xen/xen.h>
 30#include <xen/xen-ops.h>
 31
 32#include <asm/page.h>
 33
 34#include <asm/xen/hypercall.h>
 35
 36#define INIT_EFI_OP(name) \
 37	{.cmd = XENPF_efi_runtime_call, \
 38	 .u.efi_runtime_call.function = XEN_EFI_##name, \
 39	 .u.efi_runtime_call.misc = 0}
 40
 41#define efi_data(op)	(op.u.efi_runtime_call)
 42
 43static efi_status_t xen_efi_get_time(efi_time_t *tm, efi_time_cap_t *tc)
 44{
 45	struct xen_platform_op op = INIT_EFI_OP(get_time);
 46
 47	if (HYPERVISOR_platform_op(&op) < 0)
 48		return EFI_UNSUPPORTED;
 49
 50	if (tm) {
 51		BUILD_BUG_ON(sizeof(*tm) != sizeof(efi_data(op).u.get_time.time));
 52		memcpy(tm, &efi_data(op).u.get_time.time, sizeof(*tm));
 53	}
 54
 55	if (tc) {
 56		tc->resolution = efi_data(op).u.get_time.resolution;
 57		tc->accuracy = efi_data(op).u.get_time.accuracy;
 58		tc->sets_to_zero = !!(efi_data(op).misc &
 59				      XEN_EFI_GET_TIME_SET_CLEARS_NS);
 60	}
 61
 62	return efi_data(op).status;
 63}
 
 64
 65static efi_status_t xen_efi_set_time(efi_time_t *tm)
 66{
 67	struct xen_platform_op op = INIT_EFI_OP(set_time);
 68
 69	BUILD_BUG_ON(sizeof(*tm) != sizeof(efi_data(op).u.set_time));
 70	memcpy(&efi_data(op).u.set_time, tm, sizeof(*tm));
 71
 72	if (HYPERVISOR_platform_op(&op) < 0)
 73		return EFI_UNSUPPORTED;
 74
 75	return efi_data(op).status;
 76}
 
 77
 78static efi_status_t xen_efi_get_wakeup_time(efi_bool_t *enabled,
 79					    efi_bool_t *pending,
 80					    efi_time_t *tm)
 81{
 82	struct xen_platform_op op = INIT_EFI_OP(get_wakeup_time);
 83
 84	if (HYPERVISOR_platform_op(&op) < 0)
 85		return EFI_UNSUPPORTED;
 86
 87	if (tm) {
 88		BUILD_BUG_ON(sizeof(*tm) != sizeof(efi_data(op).u.get_wakeup_time));
 89		memcpy(tm, &efi_data(op).u.get_wakeup_time, sizeof(*tm));
 90	}
 91
 92	if (enabled)
 93		*enabled = !!(efi_data(op).misc & XEN_EFI_GET_WAKEUP_TIME_ENABLED);
 94
 95	if (pending)
 96		*pending = !!(efi_data(op).misc & XEN_EFI_GET_WAKEUP_TIME_PENDING);
 97
 98	return efi_data(op).status;
 99}
 
100
101static efi_status_t xen_efi_set_wakeup_time(efi_bool_t enabled, efi_time_t *tm)
102{
103	struct xen_platform_op op = INIT_EFI_OP(set_wakeup_time);
104
105	BUILD_BUG_ON(sizeof(*tm) != sizeof(efi_data(op).u.set_wakeup_time));
106	if (enabled)
107		efi_data(op).misc = XEN_EFI_SET_WAKEUP_TIME_ENABLE;
108	if (tm)
109		memcpy(&efi_data(op).u.set_wakeup_time, tm, sizeof(*tm));
110	else
111		efi_data(op).misc |= XEN_EFI_SET_WAKEUP_TIME_ENABLE_ONLY;
112
113	if (HYPERVISOR_platform_op(&op) < 0)
114		return EFI_UNSUPPORTED;
115
116	return efi_data(op).status;
117}
 
118
119static efi_status_t xen_efi_get_variable(efi_char16_t *name, efi_guid_t *vendor,
120					 u32 *attr, unsigned long *data_size,
121					 void *data)
122{
123	struct xen_platform_op op = INIT_EFI_OP(get_variable);
124
125	set_xen_guest_handle(efi_data(op).u.get_variable.name, name);
126	BUILD_BUG_ON(sizeof(*vendor) !=
127		     sizeof(efi_data(op).u.get_variable.vendor_guid));
128	memcpy(&efi_data(op).u.get_variable.vendor_guid, vendor, sizeof(*vendor));
129	efi_data(op).u.get_variable.size = *data_size;
130	set_xen_guest_handle(efi_data(op).u.get_variable.data, data);
131
132	if (HYPERVISOR_platform_op(&op) < 0)
133		return EFI_UNSUPPORTED;
134
135	*data_size = efi_data(op).u.get_variable.size;
136	if (attr)
137		*attr = efi_data(op).misc;
138
139	return efi_data(op).status;
140}
 
141
142static efi_status_t xen_efi_get_next_variable(unsigned long *name_size,
143					      efi_char16_t *name,
144					      efi_guid_t *vendor)
145{
146	struct xen_platform_op op = INIT_EFI_OP(get_next_variable_name);
147
148	efi_data(op).u.get_next_variable_name.size = *name_size;
149	set_xen_guest_handle(efi_data(op).u.get_next_variable_name.name, name);
150	BUILD_BUG_ON(sizeof(*vendor) !=
151		     sizeof(efi_data(op).u.get_next_variable_name.vendor_guid));
152	memcpy(&efi_data(op).u.get_next_variable_name.vendor_guid, vendor,
153	       sizeof(*vendor));
154
155	if (HYPERVISOR_platform_op(&op) < 0)
156		return EFI_UNSUPPORTED;
157
158	*name_size = efi_data(op).u.get_next_variable_name.size;
159	memcpy(vendor, &efi_data(op).u.get_next_variable_name.vendor_guid,
160	       sizeof(*vendor));
161
162	return efi_data(op).status;
163}
 
164
165static efi_status_t xen_efi_set_variable(efi_char16_t *name, efi_guid_t *vendor,
166					 u32 attr, unsigned long data_size,
167					 void *data)
168{
169	struct xen_platform_op op = INIT_EFI_OP(set_variable);
170
171	set_xen_guest_handle(efi_data(op).u.set_variable.name, name);
172	efi_data(op).misc = attr;
173	BUILD_BUG_ON(sizeof(*vendor) !=
174		     sizeof(efi_data(op).u.set_variable.vendor_guid));
175	memcpy(&efi_data(op).u.set_variable.vendor_guid, vendor, sizeof(*vendor));
176	efi_data(op).u.set_variable.size = data_size;
177	set_xen_guest_handle(efi_data(op).u.set_variable.data, data);
178
179	if (HYPERVISOR_platform_op(&op) < 0)
180		return EFI_UNSUPPORTED;
181
182	return efi_data(op).status;
183}
 
184
185static efi_status_t xen_efi_query_variable_info(u32 attr, u64 *storage_space,
186						u64 *remaining_space,
187						u64 *max_variable_size)
188{
189	struct xen_platform_op op = INIT_EFI_OP(query_variable_info);
190
191	if (efi.runtime_version < EFI_2_00_SYSTEM_TABLE_REVISION)
192		return EFI_UNSUPPORTED;
193
194	efi_data(op).u.query_variable_info.attr = attr;
195
196	if (HYPERVISOR_platform_op(&op) < 0)
197		return EFI_UNSUPPORTED;
198
199	*storage_space = efi_data(op).u.query_variable_info.max_store_size;
200	*remaining_space = efi_data(op).u.query_variable_info.remain_store_size;
201	*max_variable_size = efi_data(op).u.query_variable_info.max_size;
202
203	return efi_data(op).status;
204}
 
205
206static efi_status_t xen_efi_get_next_high_mono_count(u32 *count)
207{
208	struct xen_platform_op op = INIT_EFI_OP(get_next_high_monotonic_count);
209
210	if (HYPERVISOR_platform_op(&op) < 0)
211		return EFI_UNSUPPORTED;
212
213	*count = efi_data(op).misc;
214
215	return efi_data(op).status;
216}
 
217
218static efi_status_t xen_efi_update_capsule(efi_capsule_header_t **capsules,
219				unsigned long count, unsigned long sg_list)
220{
221	struct xen_platform_op op = INIT_EFI_OP(update_capsule);
222
223	if (efi.runtime_version < EFI_2_00_SYSTEM_TABLE_REVISION)
224		return EFI_UNSUPPORTED;
225
226	set_xen_guest_handle(efi_data(op).u.update_capsule.capsule_header_array,
227			     capsules);
228	efi_data(op).u.update_capsule.capsule_count = count;
229	efi_data(op).u.update_capsule.sg_list = sg_list;
230
231	if (HYPERVISOR_platform_op(&op) < 0)
232		return EFI_UNSUPPORTED;
233
234	return efi_data(op).status;
235}
 
236
237static efi_status_t xen_efi_query_capsule_caps(efi_capsule_header_t **capsules,
238			unsigned long count, u64 *max_size, int *reset_type)
 
239{
240	struct xen_platform_op op = INIT_EFI_OP(query_capsule_capabilities);
241
242	if (efi.runtime_version < EFI_2_00_SYSTEM_TABLE_REVISION)
243		return EFI_UNSUPPORTED;
244
245	set_xen_guest_handle(efi_data(op).u.query_capsule_capabilities.capsule_header_array,
246					capsules);
247	efi_data(op).u.query_capsule_capabilities.capsule_count = count;
248
249	if (HYPERVISOR_platform_op(&op) < 0)
250		return EFI_UNSUPPORTED;
251
252	*max_size = efi_data(op).u.query_capsule_capabilities.max_capsule_size;
253	*reset_type = efi_data(op).u.query_capsule_capabilities.reset_type;
254
255	return efi_data(op).status;
256}
 
257
258static void xen_efi_reset_system(int reset_type, efi_status_t status,
259				 unsigned long data_size, efi_char16_t *data)
260{
261	switch (reset_type) {
262	case EFI_RESET_COLD:
263	case EFI_RESET_WARM:
264		xen_reboot(SHUTDOWN_reboot);
265		break;
266	case EFI_RESET_SHUTDOWN:
267		xen_reboot(SHUTDOWN_poweroff);
268		break;
269	default:
270		BUG();
271	}
272}
273
274/*
275 * Set XEN EFI runtime services function pointers. Other fields of struct efi,
276 * e.g. efi.systab, will be set like normal EFI.
277 */
278void __init xen_efi_runtime_setup(void)
279{
280	efi.get_time			= xen_efi_get_time;
281	efi.set_time			= xen_efi_set_time;
282	efi.get_wakeup_time		= xen_efi_get_wakeup_time;
283	efi.set_wakeup_time		= xen_efi_set_wakeup_time;
284	efi.get_variable		= xen_efi_get_variable;
285	efi.get_next_variable		= xen_efi_get_next_variable;
286	efi.set_variable		= xen_efi_set_variable;
287	efi.set_variable_nonblocking	= xen_efi_set_variable;
288	efi.query_variable_info		= xen_efi_query_variable_info;
289	efi.query_variable_info_nonblocking = xen_efi_query_variable_info;
290	efi.update_capsule		= xen_efi_update_capsule;
291	efi.query_capsule_caps		= xen_efi_query_capsule_caps;
292	efi.get_next_high_mono_count	= xen_efi_get_next_high_mono_count;
293	efi.reset_system		= xen_efi_reset_system;
294}
v4.17
 
  1/*
  2 * EFI support for Xen.
  3 *
  4 * Copyright (C) 1999 VA Linux Systems
  5 * Copyright (C) 1999 Walt Drummond <drummond@valinux.com>
  6 * Copyright (C) 1999-2002 Hewlett-Packard Co.
  7 *	David Mosberger-Tang <davidm@hpl.hp.com>
  8 *	Stephane Eranian <eranian@hpl.hp.com>
  9 * Copyright (C) 2005-2008 Intel Co.
 10 *	Fenghua Yu <fenghua.yu@intel.com>
 11 *	Bibo Mao <bibo.mao@intel.com>
 12 *	Chandramouli Narayanan <mouli@linux.intel.com>
 13 *	Huang Ying <ying.huang@intel.com>
 14 * Copyright (C) 2011 Novell Co.
 15 *	Jan Beulich <JBeulich@suse.com>
 16 * Copyright (C) 2011-2012 Oracle Co.
 17 *	Liang Tang <liang.tang@oracle.com>
 18 * Copyright (c) 2014 Oracle Co., Daniel Kiper
 19 */
 20
 21#include <linux/bug.h>
 22#include <linux/efi.h>
 23#include <linux/init.h>
 24#include <linux/string.h>
 25
 26#include <xen/interface/xen.h>
 27#include <xen/interface/platform.h>
 28#include <xen/xen.h>
 29#include <xen/xen-ops.h>
 30
 31#include <asm/page.h>
 32
 33#include <asm/xen/hypercall.h>
 34
 35#define INIT_EFI_OP(name) \
 36	{.cmd = XENPF_efi_runtime_call, \
 37	 .u.efi_runtime_call.function = XEN_EFI_##name, \
 38	 .u.efi_runtime_call.misc = 0}
 39
 40#define efi_data(op)	(op.u.efi_runtime_call)
 41
 42efi_status_t xen_efi_get_time(efi_time_t *tm, efi_time_cap_t *tc)
 43{
 44	struct xen_platform_op op = INIT_EFI_OP(get_time);
 45
 46	if (HYPERVISOR_platform_op(&op) < 0)
 47		return EFI_UNSUPPORTED;
 48
 49	if (tm) {
 50		BUILD_BUG_ON(sizeof(*tm) != sizeof(efi_data(op).u.get_time.time));
 51		memcpy(tm, &efi_data(op).u.get_time.time, sizeof(*tm));
 52	}
 53
 54	if (tc) {
 55		tc->resolution = efi_data(op).u.get_time.resolution;
 56		tc->accuracy = efi_data(op).u.get_time.accuracy;
 57		tc->sets_to_zero = !!(efi_data(op).misc &
 58				      XEN_EFI_GET_TIME_SET_CLEARS_NS);
 59	}
 60
 61	return efi_data(op).status;
 62}
 63EXPORT_SYMBOL_GPL(xen_efi_get_time);
 64
 65efi_status_t xen_efi_set_time(efi_time_t *tm)
 66{
 67	struct xen_platform_op op = INIT_EFI_OP(set_time);
 68
 69	BUILD_BUG_ON(sizeof(*tm) != sizeof(efi_data(op).u.set_time));
 70	memcpy(&efi_data(op).u.set_time, tm, sizeof(*tm));
 71
 72	if (HYPERVISOR_platform_op(&op) < 0)
 73		return EFI_UNSUPPORTED;
 74
 75	return efi_data(op).status;
 76}
 77EXPORT_SYMBOL_GPL(xen_efi_set_time);
 78
 79efi_status_t xen_efi_get_wakeup_time(efi_bool_t *enabled, efi_bool_t *pending,
 80				     efi_time_t *tm)
 
 81{
 82	struct xen_platform_op op = INIT_EFI_OP(get_wakeup_time);
 83
 84	if (HYPERVISOR_platform_op(&op) < 0)
 85		return EFI_UNSUPPORTED;
 86
 87	if (tm) {
 88		BUILD_BUG_ON(sizeof(*tm) != sizeof(efi_data(op).u.get_wakeup_time));
 89		memcpy(tm, &efi_data(op).u.get_wakeup_time, sizeof(*tm));
 90	}
 91
 92	if (enabled)
 93		*enabled = !!(efi_data(op).misc & XEN_EFI_GET_WAKEUP_TIME_ENABLED);
 94
 95	if (pending)
 96		*pending = !!(efi_data(op).misc & XEN_EFI_GET_WAKEUP_TIME_PENDING);
 97
 98	return efi_data(op).status;
 99}
100EXPORT_SYMBOL_GPL(xen_efi_get_wakeup_time);
101
102efi_status_t xen_efi_set_wakeup_time(efi_bool_t enabled, efi_time_t *tm)
103{
104	struct xen_platform_op op = INIT_EFI_OP(set_wakeup_time);
105
106	BUILD_BUG_ON(sizeof(*tm) != sizeof(efi_data(op).u.set_wakeup_time));
107	if (enabled)
108		efi_data(op).misc = XEN_EFI_SET_WAKEUP_TIME_ENABLE;
109	if (tm)
110		memcpy(&efi_data(op).u.set_wakeup_time, tm, sizeof(*tm));
111	else
112		efi_data(op).misc |= XEN_EFI_SET_WAKEUP_TIME_ENABLE_ONLY;
113
114	if (HYPERVISOR_platform_op(&op) < 0)
115		return EFI_UNSUPPORTED;
116
117	return efi_data(op).status;
118}
119EXPORT_SYMBOL_GPL(xen_efi_set_wakeup_time);
120
121efi_status_t xen_efi_get_variable(efi_char16_t *name, efi_guid_t *vendor,
122				  u32 *attr, unsigned long *data_size,
123				  void *data)
124{
125	struct xen_platform_op op = INIT_EFI_OP(get_variable);
126
127	set_xen_guest_handle(efi_data(op).u.get_variable.name, name);
128	BUILD_BUG_ON(sizeof(*vendor) !=
129		     sizeof(efi_data(op).u.get_variable.vendor_guid));
130	memcpy(&efi_data(op).u.get_variable.vendor_guid, vendor, sizeof(*vendor));
131	efi_data(op).u.get_variable.size = *data_size;
132	set_xen_guest_handle(efi_data(op).u.get_variable.data, data);
133
134	if (HYPERVISOR_platform_op(&op) < 0)
135		return EFI_UNSUPPORTED;
136
137	*data_size = efi_data(op).u.get_variable.size;
138	if (attr)
139		*attr = efi_data(op).misc;
140
141	return efi_data(op).status;
142}
143EXPORT_SYMBOL_GPL(xen_efi_get_variable);
144
145efi_status_t xen_efi_get_next_variable(unsigned long *name_size,
146				       efi_char16_t *name,
147				       efi_guid_t *vendor)
148{
149	struct xen_platform_op op = INIT_EFI_OP(get_next_variable_name);
150
151	efi_data(op).u.get_next_variable_name.size = *name_size;
152	set_xen_guest_handle(efi_data(op).u.get_next_variable_name.name, name);
153	BUILD_BUG_ON(sizeof(*vendor) !=
154		     sizeof(efi_data(op).u.get_next_variable_name.vendor_guid));
155	memcpy(&efi_data(op).u.get_next_variable_name.vendor_guid, vendor,
156	       sizeof(*vendor));
157
158	if (HYPERVISOR_platform_op(&op) < 0)
159		return EFI_UNSUPPORTED;
160
161	*name_size = efi_data(op).u.get_next_variable_name.size;
162	memcpy(vendor, &efi_data(op).u.get_next_variable_name.vendor_guid,
163	       sizeof(*vendor));
164
165	return efi_data(op).status;
166}
167EXPORT_SYMBOL_GPL(xen_efi_get_next_variable);
168
169efi_status_t xen_efi_set_variable(efi_char16_t *name, efi_guid_t *vendor,
170				 u32 attr, unsigned long data_size,
171				 void *data)
172{
173	struct xen_platform_op op = INIT_EFI_OP(set_variable);
174
175	set_xen_guest_handle(efi_data(op).u.set_variable.name, name);
176	efi_data(op).misc = attr;
177	BUILD_BUG_ON(sizeof(*vendor) !=
178		     sizeof(efi_data(op).u.set_variable.vendor_guid));
179	memcpy(&efi_data(op).u.set_variable.vendor_guid, vendor, sizeof(*vendor));
180	efi_data(op).u.set_variable.size = data_size;
181	set_xen_guest_handle(efi_data(op).u.set_variable.data, data);
182
183	if (HYPERVISOR_platform_op(&op) < 0)
184		return EFI_UNSUPPORTED;
185
186	return efi_data(op).status;
187}
188EXPORT_SYMBOL_GPL(xen_efi_set_variable);
189
190efi_status_t xen_efi_query_variable_info(u32 attr, u64 *storage_space,
191					 u64 *remaining_space,
192					 u64 *max_variable_size)
193{
194	struct xen_platform_op op = INIT_EFI_OP(query_variable_info);
195
196	if (efi.runtime_version < EFI_2_00_SYSTEM_TABLE_REVISION)
197		return EFI_UNSUPPORTED;
198
199	efi_data(op).u.query_variable_info.attr = attr;
200
201	if (HYPERVISOR_platform_op(&op) < 0)
202		return EFI_UNSUPPORTED;
203
204	*storage_space = efi_data(op).u.query_variable_info.max_store_size;
205	*remaining_space = efi_data(op).u.query_variable_info.remain_store_size;
206	*max_variable_size = efi_data(op).u.query_variable_info.max_size;
207
208	return efi_data(op).status;
209}
210EXPORT_SYMBOL_GPL(xen_efi_query_variable_info);
211
212efi_status_t xen_efi_get_next_high_mono_count(u32 *count)
213{
214	struct xen_platform_op op = INIT_EFI_OP(get_next_high_monotonic_count);
215
216	if (HYPERVISOR_platform_op(&op) < 0)
217		return EFI_UNSUPPORTED;
218
219	*count = efi_data(op).misc;
220
221	return efi_data(op).status;
222}
223EXPORT_SYMBOL_GPL(xen_efi_get_next_high_mono_count);
224
225efi_status_t xen_efi_update_capsule(efi_capsule_header_t **capsules,
226				    unsigned long count, unsigned long sg_list)
227{
228	struct xen_platform_op op = INIT_EFI_OP(update_capsule);
229
230	if (efi.runtime_version < EFI_2_00_SYSTEM_TABLE_REVISION)
231		return EFI_UNSUPPORTED;
232
233	set_xen_guest_handle(efi_data(op).u.update_capsule.capsule_header_array,
234			     capsules);
235	efi_data(op).u.update_capsule.capsule_count = count;
236	efi_data(op).u.update_capsule.sg_list = sg_list;
237
238	if (HYPERVISOR_platform_op(&op) < 0)
239		return EFI_UNSUPPORTED;
240
241	return efi_data(op).status;
242}
243EXPORT_SYMBOL_GPL(xen_efi_update_capsule);
244
245efi_status_t xen_efi_query_capsule_caps(efi_capsule_header_t **capsules,
246					unsigned long count, u64 *max_size,
247					int *reset_type)
248{
249	struct xen_platform_op op = INIT_EFI_OP(query_capsule_capabilities);
250
251	if (efi.runtime_version < EFI_2_00_SYSTEM_TABLE_REVISION)
252		return EFI_UNSUPPORTED;
253
254	set_xen_guest_handle(efi_data(op).u.query_capsule_capabilities.capsule_header_array,
255					capsules);
256	efi_data(op).u.query_capsule_capabilities.capsule_count = count;
257
258	if (HYPERVISOR_platform_op(&op) < 0)
259		return EFI_UNSUPPORTED;
260
261	*max_size = efi_data(op).u.query_capsule_capabilities.max_capsule_size;
262	*reset_type = efi_data(op).u.query_capsule_capabilities.reset_type;
263
264	return efi_data(op).status;
265}
266EXPORT_SYMBOL_GPL(xen_efi_query_capsule_caps);
267
268void xen_efi_reset_system(int reset_type, efi_status_t status,
269			  unsigned long data_size, efi_char16_t *data)
270{
271	switch (reset_type) {
272	case EFI_RESET_COLD:
273	case EFI_RESET_WARM:
274		xen_reboot(SHUTDOWN_reboot);
275		break;
276	case EFI_RESET_SHUTDOWN:
277		xen_reboot(SHUTDOWN_poweroff);
278		break;
279	default:
280		BUG();
281	}
282}
283EXPORT_SYMBOL_GPL(xen_efi_reset_system);