162306a36Sopenharmony_ci#include <xen/arm/page.h>
262306a36Sopenharmony_ci
362306a36Sopenharmony_cistatic inline bool xen_kernel_unmapped_at_usr(void)
462306a36Sopenharmony_ci{
562306a36Sopenharmony_ci	return false;
662306a36Sopenharmony_ci}
7