__hal_device_handle_mc
__hal_device_handle_mc(xge_hal_device_t *hldev, u64 reason);
status = __hal_device_handle_mc(hldev, val64);