TLB_V6_D_PAGE
TLB_V6_I_PAGE | TLB_V6_D_PAGE | \
tlb_op(TLB_V6_D_PAGE, "c8, c6, 1", uaddr);
tlb_op(TLB_V6_D_PAGE, "c8, c6, 1", kaddr);