Function user_trampoline 

extern "C" fn user_trampoline()

ユーザープロセスのトランポリン関数。 switch_context から ret で呼ばれ、SP_EL1 をカーネルスタックに、 SP_EL0 をユーザースタックに設定した上で、enter_userspace を用いて EL0 に降下します。