Definition at line 1940 of file vspace.h.
Definition at line 1946 of file vspace.h.
Definition at line 1945 of file vspace.h.
Definition at line 1941 of file vspace.h.