--- /usr/src/sys/dev/tdfx/tdfx_pci.c	Sun Jul 30 14:55:11 2000
+++ /usr/src/sys/dev/tdfx/tdfx_pci.c	Sun Jul 30 14:56:53 2000
@@ -474,8 +474,10 @@
 
 	/* See if the Banshee/V3 LFB is being requested */
 	if(tdfx_info->memrange2 != NULL && (offset & 0xff000000) ==
-			tdfx_info->addr1)
+			tdfx_info->addr1) {
 	  	offset &= 0xffffff;
+		return atop(rman_get_start(tdfx_info->memrange2) + offset);
+	}
 
 	if((offset >= 0x1000000) || (offset < 0)) {
 #ifdef  DEBUG