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