Searched refs:__kernel_dmb_t (Results 1 – 1 of 1) sorted by relevance
26 typedef void (__kernel_dmb_t)(void); typedef27 #define __kernel_dmb (*(__kernel_dmb_t *)0xffff0fa0)