/*
* Return statistics from this host.
*/
-routine host_statistics(
+routine
+#ifdef KERNEL_SERVER
+host_statistics_from_user(
+#else
+host_statistics(
+#endif
host_priv : host_t;
flavor : host_flavor_t;
out host_info_out : host_info_t, CountInOut);
/*
* Return 64-bit statistics from this host.
*/
-routine host_statistics64(
+routine
+#ifdef KERNEL_SERVER
+host_statistics64_from_user(
+#else
+host_statistics64(
+#endif
host_priv : host_t;
flavor : host_flavor_t;
out host_info64_out : host_info64_t, CountInOut);