var group__api__libvcpu =
[
    [ "Extended vCPU support", "group__api__libvcpu__ext.html", "group__api__libvcpu__ext" ],
    [ "L4vcpu::State", "classL4vcpu_1_1State.html", [
      [ "State", "classL4vcpu_1_1State.html#abeace1f0e3a18ae88f23abc55f49743f", null ],
      [ "add", "classL4vcpu_1_1State.html#a7de8ab5f3939c2a415f1fadd7aa9ae52", null ],
      [ "clear", "classL4vcpu_1_1State.html#ad5a1e16dfef69c5d359f6cac6c05a53c", null ],
      [ "set", "classL4vcpu_1_1State.html#a789c2da9e14fee921107c968332347cb", null ]
    ] ],
    [ "L4vcpu::Vcpu", "classL4vcpu_1_1Vcpu.html", [
      [ "entry_ip", "classL4vcpu_1_1Vcpu.html#a8b80a393ef89fe4b654d957bc61a046a", null ],
      [ "entry_sp", "classL4vcpu_1_1Vcpu.html#a9e09487d2a068815cab8af4df5efe0a8", null ],
      [ "i", "classL4vcpu_1_1Vcpu.html#a7124bd8c387b3517b8c157c961b94ea8", null ],
      [ "i", "classL4vcpu_1_1Vcpu.html#a0610615b55a3c4a5c60f2cd082a5b0b3", null ],
      [ "irq_disable", "classL4vcpu_1_1Vcpu.html#a64b8c738ca6779f7c034b7b8d5446b03", null ],
      [ "irq_disable_save", "classL4vcpu_1_1Vcpu.html#a05a251f7ecc0852035f2db1cd8b23188", null ],
      [ "irq_enable", "classL4vcpu_1_1Vcpu.html#a9776fe5423e6215779e321a921a9ac90", null ],
      [ "irq_restore", "classL4vcpu_1_1Vcpu.html#af180fbb0106c7727a255eb8185dbe981", null ],
      [ "is_irq_entry", "classL4vcpu_1_1Vcpu.html#a454e797844fe8ab7113c6241725055e4", null ],
      [ "is_page_fault_entry", "classL4vcpu_1_1Vcpu.html#af4e2482db06b36722046e173a09c7ae9", null ],
      [ "print_state", "classL4vcpu_1_1Vcpu.html#ac54c8a3226660bf4c38ae15369c48bbf", null ],
      [ "r", "classL4vcpu_1_1Vcpu.html#a847e056fb68946f30bf50e6d87ac5e51", null ],
      [ "r", "classL4vcpu_1_1Vcpu.html#a7d968f631a37acca700b3ebc8fedba5d", null ],
      [ "saved_state", "classL4vcpu_1_1Vcpu.html#af282f0489ad036cb5144e1159237b2f1", null ],
      [ "saved_state", "classL4vcpu_1_1Vcpu.html#af58de93ab3e482ce63391f30a00f4e4e", null ],
      [ "state", "classL4vcpu_1_1Vcpu.html#a12f2e064e141e2a9f40ff1ab7fd31a11", null ],
      [ "state", "classL4vcpu_1_1Vcpu.html#a6dd59776e4b4c983a78282f98e799015", null ],
      [ "sticky_flags", "classL4vcpu_1_1Vcpu.html#ae99fd1547c6c31cd6d7b7722514a1fc6", null ],
      [ "task", "classL4vcpu_1_1Vcpu.html#ad3ef11adf9662db3feed1b40208032eb", null ],
      [ "wait_for_event", "classL4vcpu_1_1Vcpu.html#a9b41fa338e4fbef40bf2399355b68ce0", 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 ]
];