Symbol: mcclock_trampoline
sys/arch/alpha/alpha/mcclock.c
132
mcclock_trampoline(func, arg);
sys/arch/alpha/alpha/mcclock.c
136
uint64_t token = xc_unicast(0, mcclock_trampoline,