#ifndef _LWK_CPUINFO_H
#define _LWK_CPUINFO_H

#include <lwk/types.h>
#include <lwk/cpumask.h>
#include <lwk/cache.h>
#include <lwk/aspace.h>
#include <arch/cpuinfo.h>

/**
 * CPU information.
 * Each CPU in the system is described by one of these structures.
 */
struct cpuinfo {
	/* Identification */
	uint16_t	logical_id;	   // CPU's kernel assigned ID
	uint16_t	physical_id;	   // CPU's hardware ID

	/* Topology information */
	uint16_t	numa_node_id;	   // NUMA node ID this CPU is in
	cpumask_t	numa_node_map;	   // CPUs in this CPU's NUMA node
	cpumask_t	llc_share_map;	   // CPUs sharing last level cache

	/* Physical packaging */
	uint16_t	phys_socket_id;    // Physical socket/package
	uint16_t	phys_core_id;      // Core ID in the socket/package
	uint16_t	phys_hwthread_id;  // Hardware thread ID in core

	/* Memory management info */
	vmpagesize_t	pagesz_mask;       // Page sizes supported by the CPU

	/* Architecture specific */
	struct arch_cpuinfo arch;
} ____cacheline_aligned;

extern struct cpuinfo	cpu_info[NR_CPUS];
extern cpumask_t	cpu_present_map;
extern cpumask_t	cpu_online_map;

/**
 * Returns the number of CPUs in the system.
 */
#define num_cpus()	cpus_weight(cpu_present_map)

extern void print_cpuinfo(struct cpuinfo *);

#endif