__host_update_page_state
__host_update_page_state(addr, size, PKVM_PAGE_OWNED);
__host_update_page_state(addr, size, PKVM_NOPAGE);
__host_update_page_state(addr, size, state);