Searched refs:host_tpidruro (Results 1 – 2 of 2) sorted by relevance
| /l4re-core-master/l4sys/include/ARCH-arm64/ | ||
| A D | __vcpu-arch.h | 44 l4_umword_t host_tpidruro; member |
| /l4re-core-master/l4sys/include/ARCH-arm/ | ||
| A D | __vcpu-arch.h | 56 l4_umword_t host_tpidruro; member |
Completed in 3 milliseconds