machine Directory Reference

Files
	_kernel_cpuset.h
	This header file provides CPU set definitions for the kernel space (_KERNEL is defined before including <sys/cpuset.h>).
	_kernel_in.h
	This header file provides IPv4 definitions for the kernel space (_KERNEL is defined before including <netinet/in.h>).
	_kernel_in6.h
	This header file provides IPv6 definitions for the kernel space (_KERNEL is defined before including <netinet6/in6.h>).
	_kernel_mman.h
	This header file provides memory map definitions for the kernel space (_KERNEL is defined before including <sys/mman.h>).
	_kernel_param.h
	This header file provides parameter definitions for the kernel space (_KERNEL is defined before including <sys/param.h>).
	_kernel_time.h
	This header file provides time definitions for the kernel space (_KERNEL is defined before including <sys/time.h>).
	_kernel_types.h
	This header file provides type definitions for the kernel space (_KERNEL is defined before including <sys/types.h>).
	_kernel_uio.h
	This header file provides device driver I/O definitions for the kernel space (_KERNEL is defined before including <sys/uio.h>).
	_timecounter.h
	This header file provides timecounter definitions for the kernel space (_KERNEL is defined before including <sys/time.h>) and RTEMS.