Export _mdb_ks_pageoffset
authorJon Tibble <meths@btinternet.com>
Sat, 30 Jun 2012 11:31:44 +0100
changeset 13792 21431238226b
parent 13791 786092698997
child 13793 dc6f76064eb5
Export _mdb_ks_pageoffset
usr/src/cmd/mdb/common/modules/conf/mapfile-extern
--- a/usr/src/cmd/mdb/common/modules/conf/mapfile-extern	Tue Jun 26 17:09:00 2012 +0100
+++ b/usr/src/cmd/mdb/common/modules/conf/mapfile-extern	Sat Jun 30 11:31:44 2012 +0100
@@ -46,6 +46,7 @@
 		_mdb_ks_ncpu			{ FLAGS = EXTERN };
 		_mdb_ks_pageshift		{ FLAGS = EXTERN };
 		_mdb_ks_pagesize		{ FLAGS = EXTERN };
+		_mdb_ks_pageoffset		{ FLAGS = EXTERN };
 
 		mdb				{ FLAGS = EXTERN };
 		mdb_add_walker			{ FLAGS = EXTERN };