Searched refs:iopm_cap (Results 1 - 4 of 4) sorted by relevance

/barrelfish-2018-10-04/usr/arrakismon/
H A Dguest.h39 struct capref iopm_cap; member in struct:guest
H A Dguest.c747 err = frame_alloc(&g->iopm_cap, IOPM_SIZE, NULL);
749 err = invoke_frame_identify(g->iopm_cap, &fi);
752 err = vspace_map_one_frame_attr((void**)&g->iopm_va, IOPM_SIZE, g->iopm_cap,
/barrelfish-2018-10-04/usr/vmkitmon/
H A Dguest.h40 struct capref iopm_cap; member in struct:guest
H A Dguest.c714 err = frame_alloc(&g->iopm_cap, IOPM_SIZE, NULL);
716 err = invoke_frame_identify(g->iopm_cap, &fi);
719 err = vspace_map_one_frame_attr((void**)&g->iopm_va, IOPM_SIZE, g->iopm_cap,

Completed in 100 milliseconds