TABLE_TYPE_REGION1
if (WARN_ON_ONCE(entry.h.tt != TABLE_TYPE_REGION1))
if (walk_level == TABLE_TYPE_REGION1)
return crste.h.tt == TABLE_TYPE_REGION1;
if (table.pgd.tt != TABLE_TYPE_REGION1)
hl = TABLE_TYPE_REGION1;
if (rfte.tt != TABLE_TYPE_REGION1)
if (level <= TABLE_TYPE_REGION1) {
TABLE_TYPE_REGION1 + 1, context->f[i].writable);
return TABLE_TYPE_REGION1;
return TABLE_TYPE_REGION1;