24 v4wt_copy_user_page(
void *kto,
const void *kfrom)
27 stmfd sp!, {r4, lr} @ 2\n\
29 ldmia r1!, {r3, r4, ip, lr} @ 4\n\
30 1: stmia r0!, {r3, r4, ip, lr} @ 4\n\
31 ldmia r1!, {r3, r4, ip, lr} @ 4+1\n\
32 stmia r0!, {r3, r4, ip, lr} @ 4\n\
33 ldmia r1!, {r3, r4, ip, lr} @ 4\n\
34 stmia r0!, {r3, r4, ip, lr} @ 4\n\
35 ldmia r1!, {r3, r4, ip, lr} @ 4\n\
36 subs r2, r2, #1 @ 1\n\
37 stmia r0!, {r3, r4, ip, lr} @ 4\n\
38 ldmneia r1!, {r3, r4, ip, lr} @ 4\n\
40 mcr p15, 0, r2, c7, c7, 0 @ flush ID cache\n\
41 ldmfd sp!, {r4, pc} @ 3"
43 :
"r" (kto),
"r" (kfrom),
"I" (
PAGE_SIZE / 64));
53 v4wt_copy_user_page(kto, kfrom);
72 1: stmia %0!, {r2, r3, ip, lr} @ 4\n\
73 stmia %0!, {r2, r3, ip, lr} @ 4\n\
74 stmia %0!, {r2, r3, ip, lr} @ 4\n\
75 stmia %0!, {r2, r3, ip, lr} @ 4\n\
76 subs r1, r1, #1 @ 1\n\
78 mcr p15, 0, r2, c7, c7, 0 @ flush ID cache"
81 :
"r1",
"r2",
"r3",
"ip",
"lr");