const USERFAULTFD_IOC: u32 = 0xAA;