var group__l4__task__api =
[
    [ "l4_unmap_flags_t", "group__l4__task__api.html#ga3c24e67b976870a3e911c43c83382f66", [
      [ "L4_FP_ALL_SPACES", "group__l4__task__api.html#gga3c24e67b976870a3e911c43c83382f66aa85d4766b182308e5847d543e7d59055", null ],
      [ "L4_FP_DELETE_OBJ", "group__l4__task__api.html#gga3c24e67b976870a3e911c43c83382f66a49114f3e6952b9448fe776f2ab18813f", null ],
      [ "L4_FP_OTHER_SPACES", "group__l4__task__api.html#gga3c24e67b976870a3e911c43c83382f66af5f4ec77edcf5a85ecd79b0ae24e31f0", null ]
    ] ],
    [ "l4_task_add_ku_mem", "group__l4__task__api.html#ga433356d17f678aa259c6b616aeb476ef", null ],
    [ "l4_task_cap_equal", "group__l4__task__api.html#ga0cadc0abbf54ac249bae17239c9cfb81", null ],
    [ "l4_task_cap_valid", "group__l4__task__api.html#ga829a1b5cb4d5dba33ffee57534a505af", null ],
    [ "l4_task_delete_obj", "group__l4__task__api.html#gaf0ce40ee0426a016cb344370d20d2fcd", null ],
    [ "l4_task_map", "group__l4__task__api.html#ga8ed2ff7ba204de7c01311c22412a2063", null ],
    [ "l4_task_release_cap", "group__l4__task__api.html#gafdf0c8d5d6cd5e9489bf9d205bd3b5dc", null ],
    [ "l4_task_unmap", "group__l4__task__api.html#gaa5558855716b35c1790b61249cf2974b", null ],
    [ "l4_task_unmap_batch", "group__l4__task__api.html#ga3632af3a1c0c1b0f011494dd60fabe41", null ],
    [ "l4_task_vgicc_map", "group__l4__task__api.html#ga2f2c7940a3aa7223a5750562d933d5a4", null ]
];