Searched refs:get_current_cpu (Results 1 – 2 of 2) sorted by relevance
44 static inline int get_current_cpu(ARMMPTimerState *s) in get_current_cpu() function185 int id = get_current_cpu(s); in arm_thistimer_read()193 int id = get_current_cpu(s); in arm_thistimer_write()
56 static int get_current_cpu(void);59 info_report("Core%d: " fmt, get_current_cpu(), ## __VA_ARGS__); \164 static int get_current_cpu(void) in get_current_cpu() function585 openpic_cpu_write_internal(opp, addr, val, get_current_cpu()); in openpic_gbl_write()657 retval = openpic_cpu_read_internal(opp, addr, get_current_cpu()); in openpic_gbl_read()