100644 blob fceef856187d8298e02b78e50d4e3c9bfd512f20	rodso.h
100644 blob 182cc4abccaba0c52e34dc73c33e45d7375a521d	userboot.h
100644 blob 292eff59c7b7d0882a0d015025ba805b307cd91c	userboot_internal.h
100644 blob 87bf81905944a7b3d717df50a8c5614825947968	vdso-constants.h
100644 blob 3b8a957af513d39910fff0812c5250d4c1c662f7	vdso.h