/* user/kernel map constants */