Question about SMC filtering in smc_user.cpp on ARM64