Don't cast pointer to int, use register_t here.
Don't cast pointer to int, use register_t here.

ok miod@ tedu@

orumin/openbsd-efivars,orumin/openbsd-efivars,orumin/openbsd-efivars,orumin/openbsd-efivars