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

/barrelfish-master/include/vm/
H A Dvm_reserv.c235 static void vm_reserv_depopulate(vm_reserv_t rv, int index);
310 vm_reserv_depopulate(vm_reserv_t rv, int index) function
315 ("vm_reserv_depopulate: reserv %p is free", rv));
317 ("vm_reserv_depopulate: reserv %p's popmap[%d] is clear", rv,
320 ("vm_reserv_depopulate: reserv %p's popcnt is corrupted", rv));
326 ("vm_reserv_depopulate: reserv %p is already demoted",
836 vm_reserv_depopulate(rv, m - rv->pages);

Completed in 28 milliseconds