tag	line	file	source code
ppc_defs.h	2	arch/ppc/kernel/head.S	#include "ppc_defs.h"
ppc_defs.h	2	arch/ppc/kernel/test.S	#include "ppc_defs.h"