* GPL HEADER END
*/
/*
- * Copyright 2008 Sun Microsystems, Inc. All rights reserved
+ * Copyright (c) 2007, 2010, Oracle and/or its affiliates. All rights reserved.
* Use is subject to license terms.
*/
/*
ENTRY;
*eof = 1;
- rc = snprintf(page, count, "["LPX64" - "LPX64"]:%x\n",
+ rc = snprintf(page, count, "["LPX64" - "LPX64"]:%x:%x\n",
PRANGE(range));
RETURN(rc);
}