set_storage_key
set_storage_key((void *)0, 0x98);
GUEST_ASSERT_EQ(set_storage_key(page_store_prot, 0x10), 0);
GUEST_ASSERT_EQ(set_storage_key(page_fetch_prot, 0x98), 0);
mapped_0 = !set_storage_key((void *)0, 0x98);