Searched refs:table_base (Results 1 – 2 of 2) sorted by relevance
/external/valgrind/include/vki/ | ||
D | vki-xen-physdev.h | 53 vki_uint64_t table_base; member |
/external/valgrind/coregrind/m_syswrap/ | ||
D | syswrap-xen.c | 488 PRE_XEN_PHYSDEVOP_READ("map_pirq", table_base); in PRE() |