amd64_syscall_ret_flush_l1d
amd64_syscall_ret_flush_l1d(td->td_errno);
void amd64_syscall_ret_flush_l1d(int error);