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

/barrelfish-master/kernel/include/
H A Dkcb.h74 uint8_t pending_ram_in_use; member in struct:kcb
/barrelfish-master/kernel/
H A Dcap_delete.c215 if (kcb_current->pending_ram_in_use > 0) {
218 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 };
398 if (kcb_current->pending_ram_in_use < 4) {
400 kcb_current->pending_ram[kcb_current->pending_ram_in_use++] = ram;

Completed in 90 milliseconds