kern_membarrier
return (kern_membarrier(td, uap->cmd, uap->flags, uap->cpu_id));
int kern_membarrier(struct thread *td, int cmd, unsigned flags,