srmmu_vcache_flush_context
srmmu_vcache_flush_context(0);
srmmu_vcache_flush_context(getcontext4m());
void srmmu_vcache_flush_context(int); /* flush current context */
srmmu_vcache_flush_context, NULL,
srmmu_vcache_flush_context, NULL,
srmmu_vcache_flush_context, ft_srmmu_vcache_flush_context,
srmmu_vcache_flush_context, ft_srmmu_vcache_flush_context,
srmmu_vcache_flush_context, NULL,