GetNextHighMonotonicCount
static efi_status GetNextHighMonotonicCount(uint32_t *);
.rt_gethicnt = GetNextHighMonotonicCount,