Searched refs:base2 (Results 1 - 1 of 1) sorted by relevance

/barrelfish-master/usr/tests/skb_tests/
H A Dcap_storage.c107 uint64_t base2; local
111 err = skb_read_output("p(%lu, %Q)", &base2, &rc2);
115 if (f2.base != base2) {

Completed in 27 milliseconds