Home
last modified time | relevance | path

Searched refs:remote_domain (Results 1 – 3 of 3) sorted by relevance

/external/kernel-headers/original/uapi/xen/
Devtchn.h53 unsigned int remote_domain, remote_port; member
63 unsigned int remote_domain; member
/external/valgrind/include/vki/
Dvki-linux.h3320 vki_uint32_t remote_domain; member
3327 vki_uint32_t remote_domain; member
/external/valgrind/coregrind/m_syswrap/
Dsyswrap-linux.c7351 (Addr)&args->remote_domain, sizeof(args->remote_domain)); in PRE()
7360 (Addr)&args->remote_domain, sizeof(args->remote_domain)); in PRE()