Symbol: ppath_push_idx
common/include/ppath/ppath.h
31
ppath_t *ppath_push_idx(ppath_t *, unsigned int);
sys/arch/x86/pci/pci_ranges.c
831
if ((p = ppath_push_idx(p, i)) == NULL) {
tests/lib/libppath/t_ppath.c
466
if (ppath_push_idx(p2, 0) == NULL)
tests/lib/libppath/t_ppath.c
605
if (ppath_push_idx(p2, 0) == NULL)