Searched refs:L4_VCPU_E_GIC_VMCR (Results 1 – 2 of 2) sorted by relevance
81 L4_VCPU_E_GIC_VMCR = 0x0048, enumerator
97 L4_VCPU_E_GIC_VMCR = 0x0058, enumerator
Completed in 3 milliseconds