/*
* Copyright (C) 2022 Intel Corporation
*
* SPDX-License-Identifier: MIT
*/
#pragma once
#include <stdint.h>
using TaskCountType = uint64_t;
using TagAddressType = uint64_t;