Definition at line 1878 of file mmtk.c.
Definition at line 1880 of file mmtk.c.
Definition at line 1879 of file mmtk.c.