tag	line	file	source code
__down	359	include/linux/sched.h	extern void __down(struct semaphore * sem);
__down	367	include/linux/sched.h	__down(sem);
__down	280	kernel/ksyms.c	X(__down),