Richard Henderson <[email protected]> writes:

> We missed this function when we introduced tb_page_addr_t.

That was a loooong time ago.

Anyway:

Reviewed-by: Alex Bennée <[email protected]>

-- 
Alex Bennée

Reply via email to