+++ ALIGNED VALUE TO 12000
#define PRL_ERR_VTD_DEVICE_NOT_MAPPED PRL_RESULT_DECLARE_ERROR(12000)
PrlErrorsValues.h