Subject: Re: pool_get()/pool_put() or malloc()/free()
To: None <>
From: Izumi Tsutsui <>
List: tech-kern
Date: 10/28/2000 05:30:32
In <Pine.NEB.4.29.99999.0010271531350.370-100000@localhost> wrote:

> 	Just curious - would the amount of available memory for userland
> 	change between the two?

At least, "avail memory" printed at boot time is the same value.
The kernel size of pool version is a bit (~130bytes) larger, though.
Izumi Tsutsui