xenpf_efi_time    151 include/xen/interface/platform.h 		struct xenpf_efi_time set_time;
xenpf_efi_time    155 include/xen/interface/platform.h 		struct xenpf_efi_time get_wakeup_time;
xenpf_efi_time    159 include/xen/interface/platform.h 		struct xenpf_efi_time set_wakeup_time;