var arm_2l4_2sys_2____vcpu_arch_8h =
[
    [ "l4_vcpu_arch_state_t", "structl4__vcpu__arch__state__t.html", null ],
    [ "l4_vcpu_arch_state_t", "arm_2l4_2sys_2____vcpu-arch_8h.html#afa6877676ca7b547f705ef36b0ed22cf", null ],
    [ "l4_vcpu_ipc_regs_t", "group__l4__vcpu__api.html#ga8655f00476dd34b9030b89ec01da8fd1", null ],
    [ "l4_vcpu_regs_t", "group__l4__vcpu__api.html#gab6bd3b349dcc885ad4ebee3379966cc0", null ],
    [ "L4_vcpu_e_field_ids", "arm_2l4_2sys_2____vcpu-arch_8h.html#aaaf2eb3913e91f84c5dcba05e7ee278d", [
      [ "L4_VCPU_E_VTMR_CFG", "arm_2l4_2sys_2____vcpu-arch_8h.html#aaaf2eb3913e91f84c5dcba05e7ee278da9d60c81aa98d282de71f6ac8e09c9a93", null ]
    ] ],
    [ "L4_vcpu_state_offset", "group__l4__vcpu__api.html#gaa9c9426f606dfa123ace57a1081e4e1b", [
      [ "L4_VCPU_OFFSET_EXT_STATE", "group__l4__vcpu__api.html#ggaa9c9426f606dfa123ace57a1081e4e1ba970100e3dd8000f263688f50d6fcbda3", null ],
      [ "L4_VCPU_OFFSET_EXT_INFOS", "group__l4__vcpu__api.html#ggaa9c9426f606dfa123ace57a1081e4e1ba51d123b064652c03ed78714ec92615e5", null ]
    ] ]
];