On 07/11/2019 23:19, Colin Percival wrote: > On 2019-11-07 13:14, Andriy Gapon wrote: >> x86 stack_save_td_running() can work safely only if IPI_TRACE is a >> non-maskable interrupt. But at the moment FreeBSD/Xen does not provide >> support for the NMI delivery mode. So, mark the functionality as >> unsupported similarly to other platforms without NMI. >> [...] >> +#ifdef XENHVM > > I'm not sure this does what you intended. XENHVM simply adds *support* for > running under Xen/HVM, and it's part of the GENERIC kernel.
Oh... I should not have rushed. So, I should really check for a run-time Xen marker? -- Andriy Gapon _______________________________________________ svn-src-head@freebsd.org mailing list https://lists.freebsd.org/mailman/listinfo/svn-src-head To unsubscribe, send any mail to "svn-src-head-unsubscr...@freebsd.org"
