/home/data/hc/rk3588_linux/kernel/xenomai-v3.2.4/kernel/drivers/analogy/rtdm_interface.c