docker support

hc

2023-02-18 84d1d1bed0120e0921c876885ca9006fb9ddf42e

1
2
3
4
5
6
7
/* SPDX-License-Identifier: GPL-2.0 */
#ifndef _ASM_XEN_OPS_H
#define _ASM_XEN_OPS_H
 
void xen_efi_runtime_setup(void);
 
#endif /* _ASM_XEN_OPS_H */