Searched refs:exec_bit_set (Results 1 – 1 of 1) sorted by relevance
1335 int exec_bit_set = 0; in platform_call() local1338 exec_bit_set = 1; in platform_call()1340 exec_bit_set = 1; in platform_call()1342 exec_bit_set = 1; in platform_call()1344 if (exec_bit_set == 0) in platform_call()