/*
 * Copyright 2022, Jérôme Duval, jerome.duval@gmail.com.
 *
 * Distributed under the terms of the MIT License.
 */
#ifndef _CCP_H
#define _CCP_H


#include <stdlib.h>

#include <KernelExport.h>


//#define TRACE_CCP_RNG
#ifndef DRIVER_NAME
#	define DRIVER_NAME "ccp_rng"
#endif
#ifdef TRACE_CCP_RNG
#	define TRACE(x...) dprintf("\33[33m" DRIVER_NAME ":\33[0m " x)
#else
#	define TRACE(x...) ;
#endif
#define TRACE_ALWAYS(x...)	dprintf("\33[33m" DRIVER_NAME ":\33[0m " x)
#define ERROR(x...)			dprintf("\33[33m" DRIVER_NAME ":\33[0m " x)
#define CALLED(x...)		TRACE("CALLED %s\n", __PRETTY_FUNCTION__)


#define CCP_ACPI_DEVICE_MODULE_NAME "busses/random/ccp_rng/acpi/driver_v1"
#define CCP_PCI_DEVICE_MODULE_NAME "busses/random/ccp_rng/pci/driver_v1"
#define CCP_DEVICE_MODULE_NAME "busses/random/ccp_rng/device/v1"


#define read32(address) \
	(*((volatile uint32*)(address)))



extern device_manager_info* gDeviceManager;
extern driver_module_info gCcpAcpiDevice;
extern driver_module_info gCcpPciDevice;


typedef struct {
	phys_addr_t base_addr;
	uint64 map_size;

	device_node* node;
	device_node* driver_node;

	area_id registersArea;
	addr_t registers;

	timer extractTimer;
	void* dpcHandle;
} ccp_device_info;


#endif // _CCP_H