Searched refs:SECOND_UCNA_ADDR (Results 1 – 1 of 1) sorted by relevance
38 #define SECOND_UCNA_ADDR 0xcafeb0ba macro204 printf("Injecting second UCNA at %#x.\n", SECOND_UCNA_ADDR); in run_ucna_injection()206 inject_ucna(params->vcpu, SECOND_UCNA_ADDR); in run_ucna_injection()234 TEST_ASSERT(*params->p_ucna_addr2 == SECOND_UCNA_ADDR, in test_ucna_injection()