/* Returns the combined result, note that if a pointer is 32-bit wide @reg0 will be discarded.  */
static void* reg_pair_to_ptr(u32 reg0, u32 reg1)
/* Returns the combined result, note that if a pointer is 32-bit wide @reg0 will be discarded.  */
static void* reg_pair_to_ptr(u32 reg0, u32 reg1)
{
	return (void *)(ulong)(((u64)reg0 << 32) | reg1);
}