Searched defs:a15_gt_mask_interrupt (Results 1 - 1 of 1) sorted by relevance

/barrelfish-master/kernel/include/arch/armv7/
H A Da15_gt.h62 static inline void a15_gt_mask_interrupt(void) { function

Completed in 27 milliseconds