Merge "hal: mark unused parameters correctly"