RT24核心的CLINT在哪?

想在rt24上跑rtos,要用到msip,但是手册中没找到相关描述