core_pcbe_overflow_bitmap
core_pcbe_overflow_bitmap, /* pcbe_overflow_bitmap */
static uint64_t core_pcbe_overflow_bitmap(void);