TLBF_NOBROADCAST
__flush_tlb_page(vma, address, TLBF_NOBROADCAST | TLBF_NONOTIFY)
TLBF_NOBROADCAST | TLBF_NONOTIFY | TLBF_NOWALKCACHE)
if (!(flags & TLBF_NOBROADCAST))
switch (flags & (TLBF_NOWALKCACHE | TLBF_NOBROADCAST)) {
case TLBF_NOBROADCAST:
case TLBF_NOWALKCACHE | TLBF_NOBROADCAST:
if (!(flags & TLBF_NOBROADCAST))
TLBF_NOWALKCACHE | TLBF_NOBROADCAST);
TLBF_NOWALKCACHE | TLBF_NOBROADCAST);