On 14.06.2023 12:08, Olaf Hering wrote: > Wed, 14 Jun 2023 11:49:35 +0200 Jan Beulich <[email protected]>: > >> So perhaps we could arrange for your additions to be excluded >> from the compat translation machinery? > > Is there maybe a place for headers which are not public, > but which are visible for tools/ and xen/? I think the trace > functionality would be a candidate for such local shared headers.
I'm not sure I understand what you're after. The "public" here means the externally visible interface of the hypervisor. Aiui the header your thinking of still falls in this category. In how far checking and translation need to be done for any particular header under public/ is controlled by xen/include/Makefile. So if you were to introduce a new header for your specific purpose, all would depend on what, if anything, you add to that makefile. I don't think we currently have any header which is entirely unmentioned there, but with the right justification I don't see why this couldn't change (or perhaps such a header might simply be added to headers-n, so it's clear that it wasn't just an oversight that it's not listed anywhere [else]). Jan
