var group__l4__platform__control__api =
[
    [ "l4_platform_ctl_cpu_allow_shutdown", "group__l4__platform__control__api.html#ga4b4421e3152afe50c682d89ae8ea9e9b", null ],
    [ "l4_platform_ctl_cpu_disable", "group__l4__platform__control__api.html#ga8a8e4d219a639ad94d5ca12ccb2ca1b8", null ],
    [ "l4_platform_ctl_cpu_enable", "group__l4__platform__control__api.html#gaf61523095fb120f77e8c65fea67ea7da", null ],
    [ "l4_platform_ctl_set_task_asid", "group__l4__platform__control__api.html#ga5cfac77fbfddca4498c22517a5f8238a", null ],
    [ "l4_platform_ctl_system_shutdown", "group__l4__platform__control__api.html#ga85ea4f9e292a86026b3a1d952ea61d15", null ],
    [ "l4_platform_ctl_system_suspend", "group__l4__platform__control__api.html#ga56b855fa63a3d94b275bdd17bb0bc21e", null ]
];