Richard Henderson <richard.hender...@linaro.org> writes:

> We missed this function when we introduced tb_page_addr_t.

That was a loooong time ago.

Anyway:

Reviewed-by: Alex Bennée <alex.ben...@linaro.org>

-- 
Alex Bennée

Reply via email to