Symbol: ARM_TF_PC
sys/arch/usermode/modules/syscallemu/syscallemu_arm.c
60
pc_call = ARM_TF_PC(frame) - INSN_SIZE;
sys/arch/usermode/modules/syscallemu/syscallemu_arm.c
79
ARM_TF_PC(frame) = pc_call;
sys/arch/usermode/modules/syscallemu/syscallemu_arm.c
83
ksi.ksi_addr = (void *)ARM_TF_PC(frame);