BTX_PGBASE
#define BTX_ORIGIN(btx) (BTX_PGBASE + BTX_MAPPED(btx) * 4)
BTX_MAPPED(btx) - btx.btx_pgctl - BTX_PGBASE /