API for architecture-specific abstractions in OS kernels