|
@@ -206,7 +206,8 @@ static uint32_t (*w2)(uint16_t);
|
|
|
static int
|
|
|
is_mcounted_section_name(char const *const txtname)
|
|
|
{
|
|
|
- return 0 == strcmp(".text", txtname) ||
|
|
|
+ return 0 == strcmp(".text", txtname) ||
|
|
|
+ 0 == strcmp(".ref.text", txtname) ||
|
|
|
0 == strcmp(".sched.text", txtname) ||
|
|
|
0 == strcmp(".spinlock.text", txtname) ||
|
|
|
0 == strcmp(".irqentry.text", txtname) ||
|