blob: 00a350507a517020d5fd5ce8a22fc3bc236d56d9 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
|
#ifndef _DEVICE_KMSG_H_
#define _DEVICE_KMSG_H_ 1
#include <sys/types.h>
#include <device/device_types.h>
#include <device/io_req.h>
io_return_t kmsgopen (dev_t dev, int flag, io_req_t ior);
void kmsgclose (dev_t dev, int flag);
io_return_t kmsgread (dev_t dev, io_req_t ior);
io_return_t kmsggetstat (dev_t dev, dev_flavor_t flavor,
dev_status_t data, mach_msg_type_number_t *count);
void kmsg_putchar (int c);
#endif /* !_DEVICE_KMSG_H_ */
|
