Make getbuffer() 'inline'.