kern/52874: Userland header <xen/xenio.h> cannot be included

[n54%gmx.com@localhost]

>Number:         52874
>Category:       kern
>Synopsis:       Userland header <xen/xenio.h> cannot be included
>Confidential:   no
>Severity:       serious
>Priority:       medium
>Responsible:    kern-bug-people
>State:          open
>Class:          sw-bug
>Submitter-Id:   net
>Arrival-Date:   Thu Dec 28 14:55:00 +0000 2017
>Originator:     Kamil Rytarowski
>Release:        NetBSD 8.99.9 amd64
>Organization:
TNF
>Environment:
NetBSD chieftec 8.99.9 NetBSD 8.99.9 (GENERIC) #0: Mon Dec 25 12:58:16 CET 2017  root@chieftec:/public/netbsd-root/sys/arch/amd64/compile/GENERIC amd64
>Description:
/usr/include/xen/xenio.h:    domid_t dom; /* target domain */
/usr/include/xen/xenio.h:    domid_t dom; /* target domain */
/usr/include/xen/xenio.h:    domid_t dom; /* target domain */

domid_t is unknown to userland.
>How-To-Repeat:
N/A
>Fix:
N/A