Home
last modified time | relevance | path

Searched refs:val64 (Results 1 – 2 of 2) sorted by relevance

/tools/libs/light/
A Dlibxl_mem.c416 uint64_t val64, uint32_t *ptr32) in libxl__memkb_64to32() argument
423 *ptr32 = val64; in libxl__memkb_64to32()
424 if (*ptr32 == val64) in libxl__memkb_64to32()
427 LOGE(ERROR, "memory size %"PRIu64" too large for 32 bit value\n", val64); in libxl__memkb_64to32()
/tools/ocaml/libs/xc/
A Dxenctrl_stubs.c1291 uint64_t val64 = Int64_val(val); in stub_xc_hvm_param_set() local
1295 ret = xc_hvm_param_set(xch, Int_val(domid), Int_val(param), val64); in stub_xc_hvm_param_set()

Completed in 13 milliseconds