예전에 후지부지 넘어갔던거 같은데...

2기 분들의 관련글이 있어서 링크를 시킵니다.
http://www.iamroot.org/bbs/view.php?id=kernel_analysis&page=1&sn1=&divpage=1&sn=off&ss=on&sc=on&select_arrange=headnum&desc=asc&no=14

음... 저만 거꾸로 알고 있었던 건지...

static inline void flush_pmd_entry(pmd_t *pmd)
{
        const unsigned int __tlb_flag = __cpu_tlb_flags;

        if (tlb_flag(TLB_DCLEAN))
                asm("mcr        p15, 0, %0, c7, c10, 1        @ flush_pmd"
                        : : "r" (pmd) : "cc");
        if (tlb_flag(TLB_WB))
                dsb();
}

static inline void clean_pmd_entry(pmd_t *pmd)
{
        const unsigned int __tlb_flag = __cpu_tlb_flags;

        if (tlb_flag(TLB_DCLEAN))
                asm("mcr        p15, 0, %0, c7, c10, 1        @ flush_pmd"
                        : : "r" (pmd) : "cc");
}

flush 의 경우에는
if (tlb_flag(TLB_WB)) dsb();
코드가 들어있지여... write back  캐시정책을 사용하는 경우에는 장벽을 사용해서 write buffer까지 비워버리라는 ...
따라서 flush의 경우에는 캐시에서 지우게 되는 라인이 메모리에 쓰여지지 않고

clean의 경우에는 지우는 라인의 데이터가  write buffer에 남아있으므로 메모리에 쓰여지게
되는 결과가 나타나게 될 것 같네요...

혹 지금도 제가 거꾸로 알고 있는거면 댓글좀... ( ㅡ.ㅡ;;;; )