Kernelmachinehostedcommon

Typedefs
typedef uint8_t	HostedCommonirq_id_t

Detailed Description

Typedef Documentation

typedef uint8_t HostedCommonirq_id_t

Define a type for IRQ identifications

Definition at line 36 of file system/include/pedigree/kernel/machine/hosted/types.h.