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

/barrelfish-2018-10-04/usr/monitor/capops/
H A Ddelete.c68 struct capability cap_data; local
69 err = monitor_cap_identify(cap, &cap_data);
71 assert(cap_data.type == ObjType_RAM);
72 struct RAM ram = cap_data.u.ram;
81 err = mon_ram_free(&cap_data, ram.base, log2ceil(ram.bytes));

Completed in 98 milliseconds