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