Variable types with * prefix

Yes, these two options give exactly the same result. They probably compile slightly differently but the result is just the same (y holding the value of 0x1234). Did I understand your question right?