Searched refs:A9MPCORE_TIMER_GBL_SIZE (Results 1 - 2 of 2) sorted by relevance

/barrelfish-master/include/maps/
H A Da9mpcore_map.h27 #define A9MPCORE_TIMER_GBL_SIZE 0x0100 macro
/barrelfish-master/kernel/arch/armv7/
H A Da9_gt.c33 lvaddr_t gt_base = paging_map_device(addr, A9MPCORE_TIMER_GBL_SIZE);

Completed in 31 milliseconds