xendomain_is_privileged
if (xendomain_is_privileged()) {
if (xendomain_is_privileged()) {
if (xendomain_is_privileged()) {
if (xendomain_is_privileged()) {
if (!xendomain_is_privileged())
if (xendomain_is_privileged()) {
if (ci == &cpu_info_primary && xendomain_is_privileged())
if (!xendomain_is_privileged())