From 8b13bf3f7cf126fddcf7a2c2025657179088924c Mon Sep 17 00:00:00 2001 From: Geoffroy Van Cutsem Date: Tue, 11 Dec 2018 09:17:48 -0800 Subject: [PATCH] Update doc/developer-guides/hld/hld-devicemodel.rst Co-Authored-By: dbkinder --- doc/developer-guides/hld/hld-devicemodel.rst | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/doc/developer-guides/hld/hld-devicemodel.rst b/doc/developer-guides/hld/hld-devicemodel.rst index a3d9e4ad1..b289455c7 100644 --- a/doc/developer-guides/hld/hld-devicemodel.rst +++ b/doc/developer-guides/hld/hld-devicemodel.rst @@ -177,7 +177,7 @@ p, pincpu - vcpu is the ID of the CPU seen by the UOS, and - hostcpu is the physical CPU ID on the system. - Example: -p "1:2" means pin the 2nd physical cpu to 1st vcpu in UOS + Example: ``-p "1:2"`` means pin the 2nd physical cpu to 1st vcpu in UOS s, pci_slot Setup PCI device configuration