atf_sync_postfetch
atf_sync_postfetch(__sync_add_and_fetch_1, uint8_t, PRIx8);
atf_sync_postfetch(__sync_add_and_fetch_2, uint16_t, PRIx16);
atf_sync_postfetch(__sync_add_and_fetch_4, uint32_t, PRIx32);
atf_sync_postfetch(__sync_add_and_fetch_8, uint64_t, PRIx64);
atf_sync_postfetch(__sync_and_and_fetch_1, uint8_t, PRIx8);
atf_sync_postfetch(__sync_and_and_fetch_2, uint16_t, PRIx16);
atf_sync_postfetch(__sync_and_and_fetch_4, uint32_t, PRIx32);
atf_sync_postfetch(__sync_and_and_fetch_8, uint64_t, PRIx64);
atf_sync_postfetch(__sync_nand_and_fetch_1, uint8_t, PRIx8);
atf_sync_postfetch(__sync_nand_and_fetch_2, uint16_t, PRIx16);
atf_sync_postfetch(__sync_nand_and_fetch_4, uint32_t, PRIx32);
atf_sync_postfetch(__sync_nand_and_fetch_8, uint64_t, PRIx64);
atf_sync_postfetch(__sync_or_and_fetch_1, uint8_t, PRIx8);
atf_sync_postfetch(__sync_or_and_fetch_2, uint16_t, PRIx16);
atf_sync_postfetch(__sync_or_and_fetch_4, uint32_t, PRIx32);
atf_sync_postfetch(__sync_or_and_fetch_8, uint64_t, PRIx64);
atf_sync_postfetch(__sync_sub_and_fetch_1, uint8_t, PRIx8);
atf_sync_postfetch(__sync_sub_and_fetch_2, uint16_t, PRIx16);
atf_sync_postfetch(__sync_sub_and_fetch_4, uint32_t, PRIx32);
atf_sync_postfetch(__sync_sub_and_fetch_8, uint64_t, PRIx64);
atf_sync_postfetch(__sync_xor_and_fetch_1, uint8_t, PRIx8);
atf_sync_postfetch(__sync_xor_and_fetch_2, uint16_t, PRIx16);
atf_sync_postfetch(__sync_xor_and_fetch_4, uint32_t, PRIx32);
atf_sync_postfetch(__sync_xor_and_fetch_8, uint64_t, PRIx64);