Searched defs:info1 (Results 1 - 6 of 6) sorted by relevance
| /barrelfish-master/usr/tests/nkm/ |
| H A D | vspace_dump.c | 25 struct pmap_dump_info *info1, *info2; local
61 struct pmap_dump_info *info1, *info2; local
[all...] |
| /barrelfish-master/usr/tests/vspace_tests/ |
| H A D | vspace_dump.c | 22 struct pmap_dump_info *info1, *info2; local
58 struct pmap_dump_info *info1, *info2; local
[all...] |
| /barrelfish-master/usr/arrakismon/ |
| H A D | realmode.c | 36 set_vmcb_exit(amd_vmcb_t *vmcb, uint64_t code, uint64_t info1, uint64_t info2) argument
70 uint32_t info1; local
|
| H A D | guest.c | 2569 uint64_t info1 = amd_vmcb_exitinfo1_rd(&g->vmcb); local
|
| /barrelfish-master/usr/vmkitmon/ |
| H A D | realmode.c | 36 set_vmcb_exit(amd_vmcb_t *vmcb, uint64_t code, uint64_t info1, uint64_t info2) argument
70 uint32_t info1; local
|
| H A D | guest.c | 2107 uint64_t info1 = amd_vmcb_exitinfo1_rd(&g->vmcb); local
|
Completed in 186 milliseconds