SIE64_RETURN_NORMAL
WARN_ON_ONCE(sie_return != SIE64_RETURN_NORMAL);
unsigned long sie_return = SIE64_RETURN_NORMAL;