Home
last modified time | relevance | path

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

/openbmc/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>,
/openbmc/linux/net/tipc/
H A Dnode.c1838 struct tipc_link *ucl; in tipc_node_bc_sync_rcv() local
1857 ucl = n->links[bearer_id].link; in tipc_node_bc_sync_rcv()
1858 if (ucl) in tipc_node_bc_sync_rcv()
1859 tipc_link_build_state_msg(ucl, xmitq); in tipc_node_bc_sync_rcv()
/openbmc/linux/
H A DMAINTAINERS12199 M: Jade Alglave <j.alglave@ucl.ac.uk>