Constant K_SYSCALL_SYS_CACHE_DATA_FLUSH_AND_INVD_RANGE 

pub const K_SYSCALL_SYS_CACHE_DATA_FLUSH_AND_INVD_RANGE: u32 = 574;