clarify vxcptsave/vxctkill semantics