guest_get_page_state
if (guest_get_page_state(pte, ipa) != PKVM_PAGE_OWNED) {
switch (guest_get_page_state(pte, ipa)) {
state = guest_get_page_state(pte, ipa);
.get_page_state = guest_get_page_state,