Searched refs:L4_VCPU_E_SCTLR (Results 1 – 2 of 2) sorted by relevance
/l4re-core-master/l4sys/include/ARCH-arm64/ | ||
A D | __vcpu-arch.h | 70 L4_VCPU_E_SCTLR = 0x0010, enumerator |
/l4re-core-master/l4sys/include/ARCH-arm/ | ||
A D | __vcpu-arch.h | 85 L4_VCPU_E_SCTLR = 0x0024, enumerator |
Completed in 5 milliseconds