54 lines
1.6 KiB
C++
54 lines
1.6 KiB
C++
/*
|
|
* Type Definitions
|
|
*
|
|
* Copyright (C) 2009-2011 Udo Steinberg <udo@hypervisor.org>
|
|
* Economic rights: Technische Universitaet Dresden (Germany)
|
|
*
|
|
* Copyright (C) 2019-2025 Udo Steinberg, BlueRock Security, Inc.
|
|
*
|
|
* This file is part of the NOVA microhypervisor.
|
|
*
|
|
* NOVA is free software: you can redistribute it and/or modify it
|
|
* under the terms of the GNU General Public License version 2 as
|
|
* published by the Free Software Foundation.
|
|
*
|
|
* NOVA is distributed in the hope that it will be useful,
|
|
* but WITHOUT ANY WARRANTY; without even the implied warranty of
|
|
* MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
|
|
* GNU General Public License version 2 for more details.
|
|
*/
|
|
|
|
#pragma once
|
|
|
|
// Signed Integer Types
|
|
using int32_t = __INT32_TYPE__;
|
|
using int64_t = __INT64_TYPE__;
|
|
|
|
// Unsigned Integer Types
|
|
using uint8_t = __UINT8_TYPE__;
|
|
using uint16_t = __UINT16_TYPE__;
|
|
using uint32_t = __UINT32_TYPE__;
|
|
using uint64_t = __UINT64_TYPE__;
|
|
using uint128_t = __uint128_t;
|
|
|
|
// Pointer Types
|
|
using uintptr_t = __UINTPTR_TYPE__;
|
|
|
|
// Size Types
|
|
using size_t = __SIZE_TYPE__;
|
|
|
|
// Arm Types
|
|
using arm_colid_t = uint16_t; // Collection ID
|
|
using arm_devid_t = uint32_t; // Device ID
|
|
using arm_evtid_t = uint32_t; // Event ID
|
|
using arm_intid_t = uint32_t; // Interrupt ID
|
|
|
|
// NOVA Types
|
|
using apic_t = uint32_t;
|
|
using iid_t = uint32_t;
|
|
using pci_t = uint32_t;
|
|
using cos_t = uint16_t;
|
|
using cpu_t = uint16_t;
|
|
using gsi_t = uint16_t;
|
|
using port_t = uint16_t;
|