Searched refs:L4_VCPU_E_VMPIDR (Results 1 – 2 of 2) sorted by relevance
| /l4re-core-master/l4sys/include/ARCH-arm64/ | ||
| A D | __vcpu-arch.h | 76 L4_VCPU_E_VMPIDR = 0x8028, enumerator |
| /l4re-core-master/l4sys/include/ARCH-arm/ | ||
| A D | __vcpu-arch.h | 92 L4_VCPU_E_VMPIDR = 0x0040, enumerator |
Completed in 2 milliseconds