Home
last modified time | relevance | path

Searched refs:ucl (Results 1 – 4 of 4) sorted by relevance

/linux/tools/memory-model/
H A Dlinux-kernel.bell3 * Copyright (C) 2015 Jade Alglave <j.alglave@ucl.ac.uk>,
H A Dlinux-kernel.cat3 * Copyright (C) 2015 Jade Alglave <j.alglave@ucl.ac.uk>,
/linux/net/tipc/
H A Dnode.c1837 struct tipc_link *ucl; in tipc_node_bc_sync_rcv() local
1858 ucl = n->links[bearer_id].link; in tipc_node_bc_sync_rcv()
1859 if (ucl) in tipc_node_bc_sync_rcv()
1860 tipc_link_build_state_msg(ucl, xmitq); in tipc_node_bc_sync_rcv()
/linux/
H A DMAINTAINERS14965 M: Jade Alglave <j.alglave@ucl.ac.uk>