fluffos/fluffos — pull request #39 by sunyc (2013-03-20 08:25:30+00:00)
Title: Add ins_pointer() to deal with potential size difference of LPC_INT and C pointer.

This will allow 32bit driver supporting 64bit LPC runtime.

Also helps on #36 .