qemu/hw/xen/+code=xen_pt_config_delete
<<
>>
Prefs
Node not found: hw/xen/+code=xen_pt_config_delete (xilinx-v2017.2)