Re: [PATCH v3] x86/hyperv: Mark hv_ghcb_terminate() as noreturn

[Guilherme G. Piccoli]

On 17/03/2023 13:24, Josh Poimboeuf wrote:
> [...]
> 
> Looks good to me.  I've got some other noreturn fixes pending, so I can
> add this patch to the pile unless somebody else wants to take it.

Thanks, that'd be great. And thanks Michael for your review =)