Switched to a new branch '20240829183817.2807665-1-andrew.cooper3@citrix.com'
Applying: x86/pv: Make cr4_pv32_mask be PV32-only
Warning: Permanently added 'gitlab.com' (ED25519) to the list of known hosts.
To gitlab.com:xen-project/patchew/xen.git
 + 2287987684...fff0512407 patchew/20240829183817.2807665-1-andrew.cooper3@citrix.com -> patchew/20240829183817.2807665-1-andrew.cooper3@citrix.com (forced update)