// SPDX-License-Identifier: GPL-2.0 #include <asm/uv.h> #include <asm/facility.h> #include <asm/sections.h> int __bootdata_preserved(prot_virt_guest); void uv_query_info(void) { struct uv_cb_qui uvcb = { .header.cmd = UVC_CMD_QUI, .header.len = sizeof(uvcb) }; if (!test_facility(158)) return; if (uv_call(0, (uint64_t)&uvcb)) return; if (test_bit_inv(BIT_UVC_CMD_SET_SHARED_ACCESS, (unsigned long *)uvcb.inst_calls_list) && test_bit_inv(BIT_UVC_CMD_REMOVE_SHARED_ACCESS, (unsigned long *)uvcb.inst_calls_list)) prot_virt_guest = 1; }