From nobody Fri Oct 31 17:57:22 2025 Delivered-To: importer@patchew.org Received-SPF: pass (zohomail.com: domain of lists.xenproject.org designates 192.237.175.120 as permitted sender) client-ip=192.237.175.120; envelope-from=xen-devel-bounces@lists.xenproject.org; helo=lists.xenproject.org; Authentication-Results: mx.zohomail.com; dkim=pass; spf=pass (zohomail.com: domain of lists.xenproject.org designates 192.237.175.120 as permitted sender) smtp.mailfrom=xen-devel-bounces@lists.xenproject.org; dmarc=pass(p=none dis=none) header.from=gmail.com ARC-Seal: i=1; a=rsa-sha256; t=1748612889; cv=none; d=zohomail.com; s=zohoarc; b=WoJC8uvfttG5VkWwrCMGpb3dvAiVGYZy+AN4x4tF0QgJSWS6BsuW8RDUqgpqHZsd1Cxq7yvhfWMucKc6waezxWoCum2kkvfwoH5OcWnbe9GKiagXf3RGSiVp29dnRw3UIf6yrYVvkl41C2luNUWKJ3TZI5UJQ334oSyVp56fJ4k= ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=zohomail.com; s=zohoarc; t=1748612889; h=Content-Transfer-Encoding:Cc:Cc:Date:Date:From:From:In-Reply-To:List-Subscribe:List-Post:List-Id:List-Help:List-Unsubscribe:MIME-Version:Message-ID:References:Sender:Subject:Subject:To:To:Message-Id:Reply-To; bh=DTn2B6C64BsBJ/wVOSgKG1LWM5jCpfJNwTLjcuvqmOQ=; b=g+m2SwakGdImIrA+uFWAC4h22dbrjAjda9ZV1ZHAO/Lj96T4rili1ki36HPFWhKxPsPEeEG0+QwMhO0CHOSZctuLrLmwZXsplxDjOzsl5zSBlwIddQc36L/c7m9EIsxLopf2NiYQ/DXq3ypYCZVQhZdMhHhKN11JKGF58z3hWlE= ARC-Authentication-Results: i=1; mx.zohomail.com; dkim=pass; spf=pass (zohomail.com: domain of lists.xenproject.org designates 192.237.175.120 as permitted sender) smtp.mailfrom=xen-devel-bounces@lists.xenproject.org; dmarc=pass header.from= (p=none dis=none) Return-Path: Received: from lists.xenproject.org (lists.xenproject.org [192.237.175.120]) by mx.zohomail.com with SMTPS id 1748612889088890.8313401760056; Fri, 30 May 2025 06:48:09 -0700 (PDT) Received: from list by lists.xenproject.org with outflank-mailman.1001148.1381386 (Exim 4.92) (envelope-from ) id 1uL05O-0004i0-Nn; Fri, 30 May 2025 13:47:50 +0000 Received: by outflank-mailman (output) from mailman id 1001148.1381386; Fri, 30 May 2025 13:47:50 +0000 Received: from localhost ([127.0.0.1] helo=lists.xenproject.org) by lists.xenproject.org with esmtp (Exim 4.92) (envelope-from ) id 1uL05O-0004hr-JN; Fri, 30 May 2025 13:47:50 +0000 Received: by outflank-mailman (input) for mailman id 1001148; Fri, 30 May 2025 13:47:49 +0000 Received: from se1-gles-flk1-in.inumbo.com ([94.247.172.50] helo=se1-gles-flk1.inumbo.com) by lists.xenproject.org with esmtp (Exim 4.92) (envelope-from ) id 1uL05N-0003C4-7O for xen-devel@lists.xenproject.org; Fri, 30 May 2025 13:47:49 +0000 Received: from mail-lf1-x135.google.com (mail-lf1-x135.google.com [2a00:1450:4864:20::135]) by se1-gles-flk1.inumbo.com (Halon) with ESMTPS id abb7e610-3d5c-11f0-b894-0df219b8e170; Fri, 30 May 2025 15:47:47 +0200 (CEST) Received: by mail-lf1-x135.google.com with SMTP id 2adb3069b0e04-55329bd977aso3135453e87.1 for ; Fri, 30 May 2025 06:47:47 -0700 (PDT) Received: from gmail.com (213-67-3-247-no600.tbcn.telia.com. [213.67.3.247]) by smtp.gmail.com with ESMTPSA id 2adb3069b0e04-553379377f4sm704030e87.229.2025.05.30.06.47.45 (version=TLS1_3 cipher=TLS_AES_256_GCM_SHA384 bits=256/256); Fri, 30 May 2025 06:47:45 -0700 (PDT) X-Outflank-Mailman: Message body and most headers restored to incoming version X-BeenThere: xen-devel@lists.xenproject.org List-Id: Xen developer discussion List-Unsubscribe: , List-Post: List-Help: List-Subscribe: , Errors-To: xen-devel-bounces@lists.xenproject.org Precedence: list Sender: "Xen-devel" X-Inumbo-ID: abb7e610-3d5c-11f0-b894-0df219b8e170 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20230601; t=1748612867; x=1749217667; darn=lists.xenproject.org; h=content-transfer-encoding:mime-version:references:in-reply-to :message-id:date:subject:cc:to:from:from:to:cc:subject:date :message-id:reply-to; bh=DTn2B6C64BsBJ/wVOSgKG1LWM5jCpfJNwTLjcuvqmOQ=; b=ScM8O9K8T/ci+/XcGO/l2gm7WNk3B+LNbM1GVSCk21wn12x5W+1VZ2x+jFN/5eTkd9 WMkakPrf5/IhP6I4dbmIaLQwiD5y0JMvV0+8796VAaVVdyudUANuH7x6f3c60npWPxkv GDjlx7PtHWYzVUZJqHBJTCexH3fHpRQ/LQ4mK3vk7+h7wW7coi0aARpL8K/XCmrUyUqu rH4Sw7xqWysGy9U7RPR3T8kvrkf5FqBA8xSpw/h6IgPXSvZ/I2Z/h+/HJrzY1sXITEAd 0dLkgNj8e6cyHAAqSPpBgv6kS2OxgZ38YP+yxAd+3eJfP7wvB9ZKbq/Zn4PnxSfPlC9a ApDA== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20230601; t=1748612867; x=1749217667; h=content-transfer-encoding:mime-version:references:in-reply-to :message-id:date:subject:cc:to:from:x-gm-message-state:from:to:cc :subject:date:message-id:reply-to; bh=DTn2B6C64BsBJ/wVOSgKG1LWM5jCpfJNwTLjcuvqmOQ=; b=QQRO3KkK+KRT+lyUsyAZ+5ha5ugfQxz7IdAz7hhFpoIMJ0+skSmke8ea183uvpDxIw UtpeveEU4xIR2dlpRBXx44JZm2Al3+Jrrz4iZ4v+PFM1LYdUi2Dz/bO97/xySjWqXRxs 78bCnVZtO1rV2lJc1IZYJJUtNz0dxoVIc5vY0AsfBX3p0Y8vX4MdlvHyCtpyN+LvE4QT 94J3pdhoEMJgSPJufQgXjx5ipOYbieun5RoetUe8NWCUk8k/qSUqeTX0rvGhBtkwnKQz p338tU+psVx43V+io92D9zdCTlAA2bZJX12GFeFejpwJhbuiJ5QGXPs2f4OOrKcNxGNI WnFA== X-Gm-Message-State: AOJu0YxYSRnH/65eddsK4y1MuaLz56j3ltACCMcpgEcK/W7B8ULCTcad p3g5O7rnRgyASraX2qq6MjLlIywy3cTTPH5cR6G8+5e6Y1mDtO7zYmXleos0vB16JYE= X-Gm-Gg: ASbGnctQvhBn5POZu2GnV5rVtF3+2lV8+9mMCrHTnodCjfRa47mt5qdebb6kWmPpjcB 7Uj2E3oGbmz5f55wSuS9oiqaRvvutV7c6yeXn0JLXjOEUvFG3uzcusbHTuUc/h2ggOv+rFa7yNu gRsqy5Ljjc/cnt2dYY7ZV26TAW+jSolZ4o8PKLLD9MKueFT+ZudvqpDpNfa3Ffz9iXT9e+Cfk6A /+UWUEufiM4RDQa+nwkDOWNtcQ2e0QAZUAXfL7XKvJTI3rPpa9h0owtWKR876IwwbH+2hmy/xgx uLmH/cxR1hGlCctikYbsQs1USNgcUld8/Ynh4icskpssiaPVQLI/ZHVZ2uKPHDHm80wfJJ/To+L khSm9VgEzLR3vf/WlwjtssJ8= X-Google-Smtp-Source: AGHT+IGUw3jW13S4FcruO1tndtUR81rZvgF2eSy5dew8CqP2bKabLRGvtqDzU42K8uYU8DePLFyswA== X-Received: by 2002:a05:6512:2208:b0:553:243c:c1d3 with SMTP id 2adb3069b0e04-55335b3bfafmr2570125e87.18.1748612866446; Fri, 30 May 2025 06:47:46 -0700 (PDT) From: "Edgar E. Iglesias" To: xen-devel@lists.xenproject.org Cc: sstabellini@kernel.org, julien@xen.org, bertrand.marquis@arm.com, michal.orzel@amd.com, Volodymyr_Babchuk@epam.com, andrew.cooper3@citrix.com, edgar.iglesias@amd.com, Christian Lindig , David Scott , Anthony PERARD Subject: [PATCH v3 4/5] tools/ocaml: Update bindings for CDF_TRAP_UNMAPPED_ACCESSES Date: Fri, 30 May 2025 15:45:58 +0200 Message-ID: <20250530134559.1434255-5-edgar.iglesias@gmail.com> X-Mailer: git-send-email 2.43.0 In-Reply-To: <20250530134559.1434255-1-edgar.iglesias@gmail.com> References: <20250530134559.1434255-1-edgar.iglesias@gmail.com> MIME-Version: 1.0 Content-Transfer-Encoding: quoted-printable X-ZohoMail-DKIM: pass (identity @gmail.com) X-ZM-MESSAGEID: 1748612890647116600 Content-Type: text/plain; charset="utf-8" From: "Edgar E. Iglesias" Signed-off-by: Edgar E. Iglesias Acked-by: Christian Lindig --- tools/ocaml/libs/xc/xenctrl.ml | 1 + tools/ocaml/libs/xc/xenctrl.mli | 1 + 2 files changed, 2 insertions(+) diff --git a/tools/ocaml/libs/xc/xenctrl.ml b/tools/ocaml/libs/xc/xenctrl.ml index 2690f9a923..7e1aabad6c 100644 --- a/tools/ocaml/libs/xc/xenctrl.ml +++ b/tools/ocaml/libs/xc/xenctrl.ml @@ -70,6 +70,7 @@ type domain_create_flag =3D | CDF_IOMMU | CDF_NESTED_VIRT | CDF_VPMU + | CDF_TRAP_UNMAPPED_ACCESSES =20 type domain_create_iommu_opts =3D | IOMMU_NO_SHAREPT diff --git a/tools/ocaml/libs/xc/xenctrl.mli b/tools/ocaml/libs/xc/xenctrl.= mli index febbe1f6ae..f44dba61ae 100644 --- a/tools/ocaml/libs/xc/xenctrl.mli +++ b/tools/ocaml/libs/xc/xenctrl.mli @@ -63,6 +63,7 @@ type domain_create_flag =3D | CDF_IOMMU | CDF_NESTED_VIRT | CDF_VPMU + | CDF_TRAP_UNMAPPED_ACCESSES =20 type domain_create_iommu_opts =3D | IOMMU_NO_SHAREPT --=20 2.43.0