Lines Matching defs:_dump_buf_dif
54 char *_dump_buf_dif;
5034 if (!_dump_buf_dif) {
5036 _dump_buf_dif =
5038 if (_dump_buf_dif) {
5041 "_dump_buf_dif at 0x%p\n",
5042 (1 << pagecnt), _dump_buf_dif);
5044 memset(_dump_buf_dif, 0,
5056 "9048 BLKGRD: already allocated _dump_buf_dif=0x%p\n",
5057 _dump_buf_dif);
9142 if (_dump_buf_dif) {
9144 "_dump_buf_dif at 0x%p\n",
9145 (1L << _dump_buf_dif_order), _dump_buf_dif);
9146 free_pages((unsigned long)_dump_buf_dif, _dump_buf_dif_order);