Symbol: PMC_TRAPFRAME_TO_KERNEL_SP