BTX_MAPPED
#define BTX_ORIGIN(btx) (BTX_PGBASE + BTX_MAPPED(btx) * 4)
BTX_ORIGIN(btx), BTX_ENTRY(btx), BTX_MAPPED(btx) *
BTX_MAPPED(btx) - btx.btx_pgctl - BTX_PGBASE /
BTX_PGSIZE - BTX_MAPPED(btx) * 4 / BTX_PGSIZE);