TLB_V4_U_PAGE
if (possible_tlb_flags & (TLB_V4_U_PAGE|TLB_V4_D_PAGE|TLB_V4_I_PAGE|TLB_V4_I_FULL) &&
tlb_op(TLB_V4_U_PAGE, "c8, c7, 1", uaddr);
tlb_op(TLB_V4_U_PAGE, "c8, c7, 1", kaddr);
#define v4_tlb_flags (TLB_V4_U_FULL | TLB_V4_U_PAGE)
TLB_V4_U_FULL | TLB_V4_U_PAGE)