FreeBSD：xen-kernel -- arm：vgic-v2：GICD_SGIR 未經過正確模擬 (785c86b1-27d6-11e5-a4a5-002590263bf5)

medium Nessus Plugin ID 84704