Searched refs:requested_caps (Results 1 - 3 of 3) sorted by relevance

/barrelfish-2018-10-04/usr/acpi/arch/x86/
H A Dacpi_allocators_arch.c32 struct capref requested_caps; local
34 err = slot_alloc(&requested_caps);
38 err = cl->rpc_tx_vtbl.get_io_cap(cl, &requested_caps, &error_code);
45 return cap_copy(caps_io, requested_caps);
/barrelfish-2018-10-04/usr/pci/
H A Dpcimain.c44 struct capref requested_caps; local
46 err = slot_alloc(&requested_caps);
48 err = cl->rpc_tx_vtbl.get_io_cap(cl, &requested_caps, &error_code);
56 err = cap_copy(caps_io, requested_caps);
/barrelfish-2018-10-04/usr/acpi/
H A Dacpi_allocators.c110 struct capref requested_caps; local
120 err = slot_alloc(&requested_caps);
124 err = cl->rpc_tx_vtbl.get_phyaddr_cap(cl, &requested_caps, &msgerr);
126 physical_caps = requested_caps;
133 err = cap_copy(pacn, requested_caps);

Completed in 36 milliseconds