kernel/space_cmd.h

   1 #ifndef _VX_SPACE_CMD_H
   2 #define _VX_SPACE_CMD_H
   3
   4
   5 #define VCMD_enter_space_v0     VC_CMD(PROCALT, 1, 0)
   6 #define VCMD_enter_space        VC_CMD(PROCALT, 1, 1)
   7
   8 /* XXX: This is not available in recent kernels */
   9 #define VCMD_cleanup_namespace  VC_CMD(PROCALT, 2, 0)
  10
  11 #define VCMD_set_space_v0       VC_CMD(PROCALT, 3, 0)
  12 #define VCMD_set_space          VC_CMD(PROCALT, 3, 1)
  13
  14 #define VCMD_get_space_mask     VC_CMD(PROCALT, 4, 0)
  15
  16
  17 struct  vcmd_space_mask {
  18         uint64_t mask;
  19 };
  20
  21
  22 #endif  /* _VX_SPACE_CMD_H */