Searched refs:set_storage_key (Results 1 – 1 of 1) sorted by relevance
22 static int set_storage_key(void *addr, uint8_t key) in set_storage_key() function171 GUEST_ASSERT_EQ(set_storage_key(page_store_prot, 0x10), 0); in guest_code()172 GUEST_ASSERT_EQ(set_storage_key(page_fetch_prot, 0x98), 0); in guest_code()177 mapped_0 = !set_storage_key((void *)0, 0x98); in guest_code()