Re: [PATCH RFC V3 6/9] x86/entry: Pass irqentry_state_t by reference