ia64_dv_serialize_instruction  721 arch/ia64/kernel/perfmon.c 		ia64_dv_serialize_instruction();
ia64_dv_serialize_instruction 3724 arch/ia64/kernel/perfmon.c 			ia64_dv_serialize_instruction();
ia64_dv_serialize_instruction 3778 arch/ia64/kernel/perfmon.c 				ia64_dv_serialize_instruction();