var sys_2vcpu_8h =
[
    [ "l4_vcpu_state_t", "group__l4__vcpu__api.html#ga947902acd03617c67200def55c29a62b", null ],
    [ "L4_vcpu_state_flags", "group__l4__vcpu__api.html#ga648aa99b07fd60d941c5ebb25f746967", [
      [ "L4_VCPU_F_IRQ", "group__l4__vcpu__api.html#gga648aa99b07fd60d941c5ebb25f746967a6283b6f4dc69ad65e5ab99f0c35044a9", null ],
      [ "L4_VCPU_F_PAGE_FAULTS", "group__l4__vcpu__api.html#gga648aa99b07fd60d941c5ebb25f746967ae6673be1a1c99c57418bb5bfc5ae627a", null ],
      [ "L4_VCPU_F_EXCEPTIONS", "group__l4__vcpu__api.html#gga648aa99b07fd60d941c5ebb25f746967a1dcf416d1db40300001e57ab981a7107", null ],
      [ "L4_VCPU_F_USER_MODE", "group__l4__vcpu__api.html#gga648aa99b07fd60d941c5ebb25f746967a14d8e402739cff88ebf7e2810f306c4b", null ],
      [ "L4_VCPU_F_FPU_ENABLED", "group__l4__vcpu__api.html#gga648aa99b07fd60d941c5ebb25f746967a82a729a14e0b6a85b3f0ce35803f12ed", null ]
    ] ],
    [ "L4_vcpu_sticky_flags", "group__l4__vcpu__api.html#ga4a26ee99aaf5f75087c6918f57c3d4d5", [
      [ "L4_VCPU_SF_IRQ_PENDING", "group__l4__vcpu__api.html#gga4a26ee99aaf5f75087c6918f57c3d4d5afdc98b96983362771316581981ded160", null ]
    ] ],
    [ "l4_vcpu_check_version", "sys_2vcpu_8h.html#ace90499ed7f92e042cc55cf41865faf1", null ]
];