TLB_V4_D_PAGE
TLB_V4_I_PAGE | TLB_V4_D_PAGE)
TLB_V4_I_PAGE | TLB_V4_D_PAGE)
TLB_V4_D_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_D_PAGE, "c8, c6, 1", uaddr);
tlb_op(TLB_V4_D_PAGE, "c8, c6, 1", kaddr);