XGE_HAL_AUX_SEPA
offset, XGE_HAL_AUX_SEPA, (u32)(retval>>32), (u32)retval);
offset, XGE_HAL_AUX_SEPA, (u32)(retval>>32), (u32)retval);
XGE_HAL_AUX_SEPA, value); \
retsize = xge_os_sprintf(retbuf, fmt, key, XGE_HAL_AUX_SEPA, value); \