var group__l4__cap__api =
[
    [ "l4_cap_idx_t", "group__l4__cap__api.html#ga1445e923ce73029130d569d6e69a4dd8", null ],
    [ "l4_cap_consts_t", "group__l4__cap__api.html#gafee0421c2fe0e5cfc59f17f16ea10879", [
      [ "L4_CAP_SHIFT", "group__l4__cap__api.html#ggafee0421c2fe0e5cfc59f17f16ea10879ac13ad59620aeba353454514a42950a85", null ],
      [ "L4_CAP_SIZE", "group__l4__cap__api.html#ggafee0421c2fe0e5cfc59f17f16ea10879a03b1f5ae67cab694adaeffbc3614bce4", null ],
      [ "L4_CAP_OFFSET", "group__l4__cap__api.html#ggafee0421c2fe0e5cfc59f17f16ea10879a20eac883de37e78a2f31103b467f4651", null ],
      [ "L4_CAP_MASK", "group__l4__cap__api.html#ggafee0421c2fe0e5cfc59f17f16ea10879aba3e1dbcc462d842d56df9fc928e796b", null ],
      [ "L4_INVALID_CAP", "group__l4__cap__api.html#ggafee0421c2fe0e5cfc59f17f16ea10879aff9320ed307e76cebfca6c2871136102", null ]
    ] ],
    [ "l4_default_caps_t", "group__l4__cap__api.html#gaa7801b63edba351bad9ea8026432b5c4", [
      [ "L4_BASE_TASK_CAP", "group__l4__cap__api.html#ggaa7801b63edba351bad9ea8026432b5c4ac5b1e4586c9063ba5680aa1f8149b83d", null ],
      [ "L4_BASE_FACTORY_CAP", "group__l4__cap__api.html#ggaa7801b63edba351bad9ea8026432b5c4a5958178a4b4bea0a0b4422eea342608d", null ],
      [ "L4_BASE_THREAD_CAP", "group__l4__cap__api.html#ggaa7801b63edba351bad9ea8026432b5c4a2239f400be0238b0e6ce1905de240078", null ],
      [ "L4_BASE_PAGER_CAP", "group__l4__cap__api.html#ggaa7801b63edba351bad9ea8026432b5c4a488ad613d555ce2eaa8e3ab2f6c74532", null ],
      [ "L4_BASE_LOG_CAP", "group__l4__cap__api.html#ggaa7801b63edba351bad9ea8026432b5c4af57a9dce7f2435bea0e7f7a2298a0022", null ],
      [ "L4_BASE_ICU_CAP", "group__l4__cap__api.html#ggaa7801b63edba351bad9ea8026432b5c4afd3ecfb1f7953c43125bf6cbbcecd3c9", null ],
      [ "L4_BASE_SCHEDULER_CAP", "group__l4__cap__api.html#ggaa7801b63edba351bad9ea8026432b5c4ab64205360a4af2b208ba478a85826f8b", null ],
      [ "L4_BASE_IOMMU_CAP", "group__l4__cap__api.html#ggaa7801b63edba351bad9ea8026432b5c4a193606abf6233dbecc3ab445068dde15", null ],
      [ "L4_BASE_DEBUGGER_CAP", "group__l4__cap__api.html#ggaa7801b63edba351bad9ea8026432b5c4a3b548600669ef80f419b7d7118768ecc", null ],
      [ "L4_BASE_ARM_SMCCC_CAP", "group__l4__cap__api.html#ggaa7801b63edba351bad9ea8026432b5c4aefcb3c078e5a5d3d7bed1eae5f22e4fa", null ],
      [ "L4_BASE_CAPS_LAST", "group__l4__cap__api.html#ggaa7801b63edba351bad9ea8026432b5c4a8383f81861d75ee0a3e37bc00ed77135", null ]
    ] ],
    [ "l4_capability_equal", "group__l4__cap__api.html#ga1c7adeae7771d1f6cad2501d94d1104b", null ],
    [ "l4_is_invalid_cap", "group__l4__cap__api.html#ga1aee507eabc91cc118429decc9e8cb45", null ],
    [ "l4_is_valid_cap", "group__l4__cap__api.html#ga539da15c2a1be4803ed7a3f3a5742194", null ]
];