var cap__alloc_8h =
[
    [ "l4re_util_cap_alloc", "group__api__l4re__c__util__cap.html#ga868dc3bcf1a026b28065b5e4c2e44854", null ],
    [ "l4re_util_cap_free", "group__api__l4re__c__util__cap.html#ga132e9e2b91d8a5aa4eb874242cc11544", null ],
    [ "l4re_util_cap_free_um", "group__api__l4re__c__util__cap.html#ga0d2b287ad94f058bff6315597408e668", null ],
    [ "l4re_util_cap_last", "group__api__l4re__c__util__cap.html#gabc7a7b2d69f57fa9755889de20c73e73", null ]
];