mirror of
https://github.com/drasko/codezero.git
synced 2026-01-13 03:13:15 +01:00
12 lines
198 B
C
12 lines
198 B
C
#ifndef __TEST0_CAP_H__
|
|
#define __TEST0_CAP_H__
|
|
|
|
|
|
#include <l4lib/lib/cap.h>
|
|
#include <l4/generic/cap-types.h>
|
|
#include <l4/api/capability.h>
|
|
|
|
int cap_request_pager(struct capability *cap);
|
|
|
|
#endif
|