tag	line	file	source code
check_bitmap	114	kernel/ioport.c	if(check_bitmap(ioport_registrar,num,1)) {
check_bitmap	116	kernel/ioport.c	while(check_bitmap(ioport_registrar,num+1,1)
check_bitmap	204	kernel/ioport.c	return check_bitmap(ioport_registrar, from, num);