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

/barrelfish-master/kernel/include/
H A Dkcb.h75 struct RAM pending_ram[4]; member in struct:kcb
/barrelfish-master/kernel/
H A Dcap_delete.c218 struct RAM ram = kcb_current->pending_ram[--kcb_current->pending_ram_in_use];
229 kcb_current->pending_ram[kcb_current->pending_ram_in_use] = (struct RAM){ 0 };
400 kcb_current->pending_ram[kcb_current->pending_ram_in_use++] = ram;

Completed in 39 milliseconds