efi_time_cap_t
static efi_status_t efi_thunk_get_time(efi_time_t *tm, efi_time_cap_t *tc)
static efi_status_t virt_efi_get_time(efi_time_t *tm, efi_time_cap_t *tc)
efi_time_cap_t *capabilities;
efi_time_cap_t cap;
efi_time_cap_t __user *cap_local;
cap_local = (efi_time_cap_t *)gettime.capabilities;
efi_time_cap_t *capabilities;
efi_time_cap_t cap;
efi_time_cap_t cap;
efi_time_cap_t cap;
static efi_status_t xen_efi_get_time(efi_time_t *tm, efi_time_cap_t *tc)
typedef efi_status_t efi_get_time_t (efi_time_t *tm, efi_time_cap_t *tc);