paravirt_patch_ident_64  368 arch/x86/include/asm/paravirt_types.h unsigned paravirt_patch_ident_64(void *insn_buff, unsigned len);
paravirt_patch_ident_64  135 arch/x86/kernel/paravirt.c 		ret = paravirt_patch_ident_64(insn_buff, len);