Symbol: PMC_TRAPFRAME_TO_FP