Re: [PATCH 07/10] x86/entry: Pass irqentry_state_t by reference