mirror of
https://github.com/drasko/codezero.git
synced 2026-01-20 23:03:16 +01:00
13 lines
308 B
C
13 lines
308 B
C
|
|
#ifndef __CAP_PRINT_H__
|
|
#define __CAP_PRINT_H__
|
|
|
|
#include <l4/api/capability.h>
|
|
#include <l4/generic/cap-types.h>
|
|
|
|
void cap_dev_print(struct capability *cap);
|
|
void cap_print(struct capability *cap);
|
|
void cap_array_print(int total_caps, struct capability *caparray);
|
|
|
|
#endif /* __CAP_PRINT_H__*/
|