blob: 8768ac9894a98d1547b4956955098fd3a87f3fa4 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
|
#ifndef _XEN_GUEST_WALK_H
#define _XEN_GUEST_WALK_H
/* Walk the guest's page tables in software. */
bool guest_walk_tables(const struct vcpu *v,
vaddr_t gva,
paddr_t *ipa,
unsigned int *perms);
#endif /* _XEN_GUEST_WALK_H */
/*
* Local variables:
* mode: C
* c-file-style: "BSD"
* c-basic-offset: 4
* indent-tabs-mode: nil
* End:
*/
|
