blob: c1aa638594e8556b1cd677352755b724b3f12a78 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
|
#ifndef __INTR_H__
#define __INTR_H__
#include <device/device_types.h>
typedef struct
{
mach_msg_header_t intr_header;
mach_msg_type_t intr_type;
int line;
} mach_intr_notification_t;
typedef struct
{
mach_msg_header_t intr_header;
mach_msg_type_t line_type;
mach_msg_type_number_t line;
/* double check that count can be > 1 */
/* it can not */
mach_msg_type_t count_type;
mach_msg_type_number_t count;
/* actually, we might be able to stuff this port into the response port */
/* works nicely */
mach_msg_type_t port_type;
mach_port_t interrupt_port;
} mach_intr_notification2_t;
#define INTR_NOTIFY_MSGH_SEQNO 0
#define MACH_INTR_NOTIFY 424242
#define MACH_INTR_NOTIFY2 424247
#endif
|
