marvel_pa_to_nid   54 arch/alpha/kernel/proto.h extern int marvel_pa_to_nid(unsigned long);
marvel_pa_to_nid  466 arch/alpha/kernel/sys_marvel.c 	.pa_to_nid		= marvel_pa_to_nid,