/*
 * SPDX-FileCopyrightText: (c) 2025-2026 Tenstorrent USA, Inc.
 * SPDX-License-Identifier: BSD-2-Clause
 */

#ifndef __TENSTORRENT_ASCALON_H__
#define __TENSTORRENT_ASCALON_H__

void tt_ascalon_discover_pmas_from_boot_hart(void);
void tt_ascalon_verify_pmas_nonboot_hart(void);

#endif