Switched to a new branch 'cover.1695913900.git.simone.ballarin@bugseng.com'
Applying: x86/vmx: address violations of MISRA C:2012 Rule 7.2
Applying: x86/hvm: address violations of MISRA C:2012 Rule 7.2
Applying: x86/include: address violations of MISRA C:2012 Rule 7.2
Applying: xen/x86: address violations of MISRA C:2012 Rule 7.2
Warning: Permanently added 'gitlab.com' (ED25519) to the list of known hosts.
To gitlab.com:xen-project/patchew/xen.git
 + a2fccc9d0e...44c439d171 patchew/cover.1695913900.git.simone.ballarin@bugseng.com -> patchew/cover.1695913900.git.simone.ballarin@bugseng.com (forced update)