Symbol: xchk_bmap