Searched refs:commpage (Results 1 – 2 of 2) sorted by relevance
61 ARM_TESTS += commpage
853 * With a low commpage, or a guest mapped very low, in get_elf_hwcap() 1108 /* Reserve and initialize the commpage. */ in get_elf_hwcap() 1110 /* We have already probed for the commpage being free. */ in get_elf_hwcap() 471 abi_ptr commpage; init_guest_commpage() local