#!/usr/bin/bash

echo "::walk allpages | ::print -t page_t p_pagenum p_state ! grep -B1 0x80 | grep pagenum" | mdb -k | awk '{ print $4 }'