mirror of
https://github.com/xen-project/xen.git
synced 2026-10-28 02:01:24 +01:00
Fix typos in xendomains where we actually mean WDOG_PID. http://bugzilla.xensource.com/bugzilla/show_bug.cgi?id=754 Signed-off-by: Alastair Tse <atse@xensource.com>