atf_sync_prefetch
atf_sync_prefetch(__sync_fetch_and_add_1, uint8_t, PRIx8);
atf_sync_prefetch(__sync_fetch_and_add_2, uint16_t, PRIx16);
atf_sync_prefetch(__sync_fetch_and_add_4, uint32_t, PRIx32);
atf_sync_prefetch(__sync_fetch_and_add_8, uint64_t, PRIx64);
atf_sync_prefetch(__sync_fetch_and_and_1, uint8_t, PRIx8);
atf_sync_prefetch(__sync_fetch_and_and_2, uint16_t, PRIx16);
atf_sync_prefetch(__sync_fetch_and_and_4, uint32_t, PRIx32);
atf_sync_prefetch(__sync_fetch_and_and_8, uint64_t, PRIx64);
atf_sync_prefetch(__sync_fetch_and_nand_1, uint8_t, PRIx8);
atf_sync_prefetch(__sync_fetch_and_nand_2, uint16_t, PRIx16);
atf_sync_prefetch(__sync_fetch_and_nand_4, uint32_t, PRIx32);
atf_sync_prefetch(__sync_fetch_and_nand_8, uint64_t, PRIx64);
atf_sync_prefetch(__sync_fetch_and_or_1, uint8_t, PRIx8);
atf_sync_prefetch(__sync_fetch_and_or_2, uint16_t, PRIx16);
atf_sync_prefetch(__sync_fetch_and_or_4, uint32_t, PRIx32);
atf_sync_prefetch(__sync_fetch_and_or_8, uint64_t, PRIx64);
atf_sync_prefetch(__sync_fetch_and_sub_1, uint8_t, PRIx8);
atf_sync_prefetch(__sync_fetch_and_sub_2, uint16_t, PRIx16);
atf_sync_prefetch(__sync_fetch_and_sub_4, uint32_t, PRIx32);
atf_sync_prefetch(__sync_fetch_and_sub_8, uint64_t, PRIx64);
atf_sync_prefetch(__sync_fetch_and_xor_1, uint8_t, PRIx8);
atf_sync_prefetch(__sync_fetch_and_xor_2, uint16_t, PRIx16);
atf_sync_prefetch(__sync_fetch_and_xor_4, uint32_t, PRIx32);
atf_sync_prefetch(__sync_fetch_and_xor_8, uint64_t, PRIx64);