- return device_data_action(device_object->device_handle,
- (ipc_port_t) device_object,
- VM_PROT_READ | VM_PROT_WRITE,
- offset, data_cnt);
+ __IGNORE_WCASTALIGN(return device_data_action(device_object->device_handle,
+ (ipc_port_t) device_object,
+ VM_PROT_READ | VM_PROT_WRITE,
+ offset, data_cnt));