dpclock(4) exists on Indigo R4k machines as well.

share/man/man4/man4.sgimips/dpclock.4

@@ -1,4 +1,4 @@
-.\"	$NetBSD: dpclock.4,v 1.3 2004/02/10 16:32:10 wiz Exp $
+.\"	$NetBSD: dpclock.4,v 1.4 2004/08/15 17:39:20 rumble Exp $
 .\"
 .\" Copyright (c) 2004 The NetBSD Foundation, Inc.
 .\" All rights reserved.
@@ -34,7 +34,7 @@
 .\" ARISING IN ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE
 .\" POSSIBILITY OF SUCH DAMAGE.
 .\"
-.Dd January 24, 2004
+.Dd August 15, 2004
 .Dt DPCLOCK 4 sgimips
 .Os
 .Sh NAME
@@ -47,7 +47,7 @@ The
 .Nm
 driver provides support for the DP8573A real-time clock (RTC).
 This device appears on SGI Personal Iris 4D/2x, 4D/3x and Indigo
-R3k machines.
+machines.
 Note that the kernel expects the RTC to run in UTC.
 .Sh SEE ALSO
 .Xr dsclock 4 ,