Searched refs:ccsidr (Results 1 – 1 of 1) sorted by relevance
65 uint32_t ccsidr = __builtin_arm_mrc(15, 1, 0, 0, 0); in machine_read_ccsidr() local67 uint64_t ccsidr; in machine_read_ccsidr()68 __asm__ volatile ("mrs %0, CCSIDR_EL1" : "=r" (ccsidr)); in machine_read_ccsidr()70 return (uint32_t)ccsidr; in machine_read_ccsidr()