tree a26ac2e1c18c9a3464a69293f3cc81b670ca3d74
parent 1c832d7c41cdb2f617bffa74c3d70f7c4a5667fc
author Jens Wiklander <jens.wiklander@linaro.org> 1579008710 +0100
committer Jerome Forissier <jerome@forissier.org> 1579026340 +0100

core: make SMALL_PAGE_MASK and friends of type paddr_t

Makes SMALL_PAGE_MASK, CORE_MMU_PGDIR_MASK, CORE_MMU_USER_CODE_MASK and
CORE_MMU_USER_PARAM_MASK of type paddr_t to allow correct masking of
significant bits.

Example:
	extern paddr_t addr;
	paddr_t page_addr = addr & ~SMALL_PAGE_MASK

If paddr_t is a 64-bit type SMALL_PAGE_MASK must also be 64-bit wide or
the ~ operation will not set all the higher bits.

Signed-off-by: Jens Wiklander <jens.wiklander@linaro.org>
Reviewed-by: Jerome Forissier <jerome@forissier.org>