*/
static int execute(void)
{
- unsigned long index;
+ efi_uintn_t index;
efi_status_t ret;
/* Set 10 ms timer */
return EFI_ST_FAILURE;
}
ret = boottime->set_timer(event_wait, EFI_TIMER_STOP, 0);
- if (index != 0) {
+ if (ret != EFI_SUCCESS) {
efi_st_error("Could not cancel timer\n");
return EFI_ST_FAILURE;
}