The rt_misc_get_io_region() has the "start" argument as an unsigned
long. On the PPC440, we have a 36-bit address space, where the I/O
registers are generally above the 4GB area. For example, the UART is at
The Linux request_region call has "start" typed as a resource_size_t,
which is a u64 on the PPC440 (i.e. CONFIG_RESOURCES_64BIT is set even
though this is a 23-bit processor).
Is this something that should be handled by xeno-config? It could
append a CFLAG indicating the size of a resource.
Xenomai-core mailing list