// cache Flush hack for node.js

static int
sysctl_arm_hack(SYSCTL_HANDLER_ARGS)
{
    int dummy;
    printf("ARM hack called!\n");
    cpu_icache_sync_range();
    error = SYSCTL_OUT(req, &dummy, sizeof(dummy));  // you must declare int dummy; for this
    return (error);
}
SYSCTL_PROC(_debug, OID_AUTO, arm_hack, CTLTYPE_INT | CTLFLAG_RD, NULL, 0,
        sysctl_arm_hack, "I", "ARM hack for cache flushing");

// end cache flush hack