HelenOS sources

sys_smc_coherence   38 kernel/generic/include/synch/smc.h extern sys_errno_t sys_smc_coherence(uintptr_t, size_t);
sys_smc_coherence   80 kernel/generic/src/syscall/syscall.c 	[SYS_SMC_COHERENCE] = (syshandler_t) sys_smc_coherence,