Searched refs:ADDR_SIGNED (Results 1 – 1 of 1) sorted by relevance
90 #define ADDR_SIGNED 0x800000c000000000 macro142 ATF_CHECK(copyin_checker(ADDR_SIGNED, 1) == EFAULT); in ATF_TC_BODY()143 ATF_CHECK(copyin_checker2(ADDR_SIGNED) == EFAULT); in ATF_TC_BODY()