add typedef exception (uintXX_t, hvmm_status_t, vmid_t)