Halvorsrud, plass i Maridalen, nord for Halset, opprinnelig husmannsplass. Fradelt Øvre Vaggestein ca. 1890.