vucp
*value = __kernel_ldbu(*(vucp)addr);
__kernel_stb(value, *(vucp)addr);
__kernel_ldbu(*(vucp)addr);
*value = __kernel_ldbu(*(vucp)addr);
__kernel_stb(value, *(vucp)addr);
__kernel_ldbu(*(vucp)addr);
return __kernel_ldbu(*(vucp)addr);
__kernel_stb(b, *(vucp)addr);
__kernel_stb(value, *(vucp)addr);
__kernel_ldbu(*(vucp)addr);
*value = __kernel_ldbu(*(vucp)addr);
*value = __kernel_ldbu(*(vucp)addr);
__kernel_stb(value, *(vucp)addr);
__kernel_ldbu(*(vucp)addr);
*value = __kernel_ldbu(*(vucp)addr);
__kernel_stb(value, *(vucp)addr);
__kernel_ldbu(*(vucp)addr);
*value = __kernel_ldbu(*(vucp)addr);
__kernel_stb(value, *(vucp)addr);
__kernel_ldbu(*(vucp)addr);