RE: [Xen-devel] is_initial_xendomain()

["Ian Pratt" <m+Ian.Pratt@xxxxxxxxxxxx>]

> #ifdef CONFIG_XEN_PRIVILEGED_GUEST
> #define is_initial_xendomain() (xen_start_info->flags &
SIF_INITDOMAIN)
> #else
> #define is_initial_xendomain() 0
> #endif
> 
> If that is acceptable, I'm ready to create a respective patch
> (but I'd like to avoid spending time on it if there are objections).

Personally, I'd like to see CONFIG_XEN_PRIVILEGED_GUEST disappear
altogether. The code size saving is small, and most people use the -xen
kernel rather than  -xen0/-xenU anyway.

Ian



_______________________________________________
Xen-devel mailing list
Xen-devel@xxxxxxxxxxxxxxxxxxx
http://lists.xensource.com/xen-devel