tag	line	file	source code
aux_ready	72	kernel/chr_drv/psaux.c	static int aux_ready = 0;
aux_ready	157	kernel/chr_drv/psaux.c	aux_ready = 1;
aux_ready	240	kernel/chr_drv/psaux.c	aux_ready = !queue_empty();
aux_ready	255	kernel/chr_drv/psaux.c	if (aux_ready)