HFENCE_VVMA
asm volatile(HFENCE_VVMA(%0, %1)
asm volatile(HFENCE_VVMA(zero, %0) : : "r" (asid) : "memory");
asm volatile(HFENCE_VVMA(%0, zero)
asm volatile(HFENCE_VVMA(zero, zero) : : : "memory");