IopSetDriverFlagsExtension

INT64 __fastcall IopSetDriverFlagsExtension(INT64 a1, INT64 a2){
  CHAR *IrpExtension; 
  IrpExtension = IopAllocateIrpExtension(a1, 8i64);
  if( !IrpExtension )
    return 3221225626i64;
  *((_QWORD *)IrpExtension + 7) = a2;
  return 0i64;
}

Referenced by:

IoMakeAssociatedIrpPriv
IoPageReadEx