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 #define VCMD_get_space_default  VC_CMD(PROCALT, 7, 0)
  17
  18
  19 struct  vcmd_space_mask {
  20         uint64_t mask;
  21 };
  22
  23
  24 #endif  /* _VX_SPACE_CMD_H */