Home
last modified time | relevance | path

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

/Linux-v4.19/tools/memory-model/
Dlinux-kernel.bell3 * Copyright (C) 2015 Jade Alglave <j.alglave@ucl.ac.uk>,
Dlinux-kernel.cat3 * Copyright (C) 2015 Jade Alglave <j.alglave@ucl.ac.uk>,
/Linux-v4.19/net/tipc/
Dnode.c1470 struct tipc_link *ucl; in tipc_node_bc_sync_rcv() local
1489 ucl = n->links[bearer_id].link; in tipc_node_bc_sync_rcv()
1490 if (ucl) in tipc_node_bc_sync_rcv()
1491 tipc_link_build_state_msg(ucl, xmitq); in tipc_node_bc_sync_rcv()
/Linux-v4.19/
DMAINTAINERS8503 M: Jade Alglave <j.alglave@ucl.ac.uk>