var vcpu_2vcpu_8h =
[
    [ "l4vcpu_ext_alloc", "group__api__libvcpu__ext.html#ga1421d3effdb0e3fd7f11eee39025cfc8", null ],
    [ "l4vcpu_irq_disable", "group__api__libvcpu.html#gac8dd177f5382328e3922754cc9d36b28", null ],
    [ "l4vcpu_irq_disable_save", "group__api__libvcpu.html#gaa1e7797e4ed8b7dabd40c9849f5c362c", null ],
    [ "l4vcpu_irq_enable", "group__api__libvcpu.html#ga58a61ec0b02bed0a03f708e1594cf8a5", null ],
    [ "l4vcpu_irq_restore", "group__api__libvcpu.html#ga68cccc12b6542f9413afb281d8bdffcc", null ],
    [ "l4vcpu_is_irq_entry", "group__api__libvcpu.html#ga55f7fc7f6496002375240e2354ecb807", null ],
    [ "l4vcpu_is_page_fault_entry", "group__api__libvcpu.html#gab5156a117efc0b4760e81e99938a2dc1", null ],
    [ "l4vcpu_print_state", "group__api__libvcpu.html#gaed55cde10e914bfc8be9760a0fd90b0e", null ],
    [ "l4vcpu_wait_for_event", "group__api__libvcpu.html#gaf305894f807867f8a5b1a99b22c05587", null ]
];