/* SPDX-FileCopyrightText: 2024 Google LLC */
/* SPDX-License-Identifier: Apache-2.0 */

#include "kernel/pebble_tasks.h"


void resource_mapped_use(PebbleTask task);

void resource_mapped_release(PebbleTask task);

void resource_mapped_release_all(PebbleTask task);
