Searched refs:L4_vcpu_e_field_ids (Results 1 – 2 of 2) sorted by relevance
| /l4re-core-master/l4sys/include/ARCH-arm64/ | ||
| A D | __vcpu-arch.h | 67 enum L4_vcpu_e_field_ids enum |
| /l4re-core-master/l4sys/include/ARCH-arm/ | ||
| A D | __vcpu-arch.h | 79 enum L4_vcpu_e_field_ids enum |
Completed in 5 milliseconds