var xintc__options_8c =
[
    [ "XIntc_GetOptions", "xintc__options_8c.html#ga6fdbe96b1db87f0c78e68da8bc767a69", null ],
    [ "XIntc_SetOptions", "xintc__options_8c.html#ga1f0d32716f082a51a751df84312c7d56", null ]
];