On 06/26/2015 11:30 PM, Jingyue Wu wrote: > Hi grosser, > > Some front ends make kernel pointers global already. In that case, > handlePointerParams does nothing. LGTM. Thank you! Tobias