Symbol: nxge_check_guest_state