xenpf_efi_time    160 include/xen/interface/platform.h 		struct xenpf_efi_time set_time;
xenpf_efi_time    164 include/xen/interface/platform.h 		struct xenpf_efi_time get_wakeup_time;
xenpf_efi_time    168 include/xen/interface/platform.h 		struct xenpf_efi_time set_wakeup_time;